From d456e4470dcec35b9c3c35073e516894f41a2900 Mon Sep 17 00:00:00 2001
From: Jonathan Perkin <jperkin@sun.com>
Date: Wed, 16 Dec 2009 10:27:56 +0000
Subject: [PATCH] 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.

---
 support-files/mysql.server.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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