Had they just run

  /etc/init.d/mysql start

instead of "restart," their script would have worked fine. The spurious starts when mysqld was already started would have been ignored.