diff options
| author | Jonathan Perkin <jperkin@sun.com> | 2009-12-16 10:32:22 +0000 |
|---|---|---|
| committer | Jonathan Perkin <jperkin@sun.com> | 2009-12-16 10:32:22 +0000 |
| commit | 7e458c5812201d8648bd08b70dd58d306a2802e6 (patch) | |
| tree | bc105cde04d35cec51acbc3f47c7756f61f3f108 | |
| parent | 5098a2bc69b577ec7f4dbabe6f598a44aed6603f (diff) | |
| parent | d456e4470dcec35b9c3c35073e516894f41a2900 (diff) | |
| download | mariadb-git-7e458c5812201d8648bd08b70dd58d306a2802e6.tar.gz | |
Merge up to mysql-next-mr-bugfixing
| -rw-r--r-- | support-files/mysql.server.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support-files/mysql.server.sh b/support-files/mysql.server.sh index ccf4d8ff51d..b5115a5c05e 100644 --- a/support-files/mysql.server.sh +++ b/support-files/mysql.server.sh @@ -303,7 +303,7 @@ case "$mode" in then mysqld_pid=`cat "$mysqld_pid_file_path"` - if (kill -9 $mysqld_pid 2>/dev/null) + if (kill -0 $mysqld_pid 2>/dev/null) then echo $echo_n "Shutting down MySQL" kill $mysqld_pid |