# HG changeset patch
# User Pascal Bellard <pascal.bellard@slitaz.org>
# Date 1236676749 0
# Node ID 836def6d28d8df062f1d20ea00ce0e6a38e8520d
# Parent  3c8195fabdd1fea3a03f6c2a8b02950b1c7f1431
mysql: improve start script

diff -r 3c8195fabdd1 -r 836def6d28d8 mysql/stuff/etc/init.d/mysql
--- a/mysql/stuff/etc/init.d/mysql	Tue Mar 10 09:17:01 2009 +0000
+++ b/mysql/stuff/etc/init.d/mysql	Tue Mar 10 09:19:09 2009 +0000
@@ -17,7 +17,7 @@
 
 case "$1" in
   start)
-    if [ -f $PIDFILE ] ; then
+    if active_pidfile $PIDFILE mysqld ; then
       echo "$NAME already running."
       exit 1
     fi
@@ -43,7 +43,7 @@
     fi
     ;;
   stop)
-    if [ ! -f $PIDFILE ] ; then
+    if ! active_pidfile $PIDFILE mysqld ; then
       echo "$NAME is not running."
       exit 1
     fi
@@ -53,7 +53,7 @@
     sleep 2
     ;;
   restart)
-    if [ ! -f $PIDFILE ] ; then
+    if ! active_pidfile $PIDFILE mysqld ; then
       echo "$NAME is not running."
       exit 1
     fi