wok-4.x diff hal/stuff/etc/init.d/hald @ rev 12383
linux: update WGET_URL
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Thu May 16 18:20:44 2013 +0200 (2013-05-16) |
parents | 274ea51cd553 |
children |
line diff
1.1 --- a/hal/stuff/etc/init.d/hald Thu May 15 20:48:24 2008 +0200 1.2 +++ b/hal/stuff/etc/init.d/hald Thu May 16 18:20:44 2013 +0200 1.3 @@ -14,7 +14,7 @@ 1.4 1.5 case "$1" in 1.6 start) 1.7 - if [ -f $PIDFILE ] ; then 1.8 + if active_pidfile $PIDFILE hald ; then 1.9 echo "$NAME already running." 1.10 exit 1 1.11 fi 1.12 @@ -23,7 +23,7 @@ 1.13 status 1.14 ;; 1.15 stop) 1.16 - if [ ! -f $PIDFILE ] ; then 1.17 + if ! active_pidfile $PIDFILE hald ; then 1.18 echo "$NAME is not running." 1.19 exit 1 1.20 fi 1.21 @@ -33,7 +33,7 @@ 1.22 status 1.23 ;; 1.24 restart) 1.25 - if [ ! -f $PIDFILE ] ; then 1.26 + if ! active_pidfile $PIDFILE hald ; then 1.27 echo "$NAME is not running." 1.28 exit 1 1.29 fi