diff options
| author | unknown <petr@mysql.com> | 2005-03-31 14:25:03 +0400 |
|---|---|---|
| committer | unknown <petr@mysql.com> | 2005-03-31 14:25:03 +0400 |
| commit | dbbe069019f25bb93de43f3d966c642c1af82e2f (patch) | |
| tree | 8f4c434d5404f13bb521e9eeb6b337a67b84def8 /support-files/MySQL-shared-compat.spec.sh | |
| parent | f485db429a26666a8468c1ec1227d6bd64a45682 (diff) | |
| download | mariadb-git-dbbe069019f25bb93de43f3d966c642c1af82e2f.tar.gz | |
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
Diffstat (limited to 'support-files/MySQL-shared-compat.spec.sh')
0 files changed, 0 insertions, 0 deletions