1
0
mirror of https://github.com/MariaDB/server.git synced 2025-05-28 13:01:41 +03:00
mariadb/support-files
unknown dbbe069019 Bug #9507 /etc/init.d/mysql script does not stop mysqld correctly
wait_for_pid function is fixed to wait for pid removal in "stop".
recomitted with post-review fix  


support-files/mysql.server.sh:
  wait_for_pid function corrected to work properly with start/stop
2005-03-31 14:25:03 +04:00
..
2001-07-18 14:32:54 +03:00
2000-07-31 21:29:14 +02:00
2000-10-05 17:58:16 -06:00
2004-06-18 04:38:58 +03:00
2004-06-18 04:38:58 +03:00
2004-06-18 04:38:58 +03:00
2004-06-18 04:38:58 +03:00
2000-09-07 04:55:17 +03:00