mariadb/support-files/mysql.server.sh at ada7e704b64d58bb8785adbcc7d8ea6b7dab07f6

mirror of https://github.com/MariaDB/server.git synced 2025-12-16 22:03:23 +03:00

Files

Jonathan Perkin d456e4470d Fix previous merge: 'kill -0' (check PID exists) was changed to 'kill -9',

meaning a '/etc/init.d/mysql stop' would actually cause mysqld_safe to
relaunch mysqld rather than shut it down.

2009-12-16 10:27:56 +00:00

View Raw