diff options
| author | Jonathan Perkin <jperkin@sun.com> | 2009-12-16 10:27:56 +0000 |
|---|---|---|
| committer | Jonathan Perkin <jperkin@sun.com> | 2009-12-16 10:27:56 +0000 |
| commit | d456e4470dcec35b9c3c35073e516894f41a2900 (patch) | |
| tree | 6f310bb27eb13e22966ff785f49b2b27fecf196b /support-files/mysql.server.sh | |
| parent | a7073e53a4709bf69fd9db84875fb19c181ba808 (diff) | |
| download | mariadb-git-d456e4470dcec35b9c3c35073e516894f41a2900.tar.gz | |
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.
Diffstat (limited to 'support-files/mysql.server.sh')
| -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 |