# HG changeset patch # User Pascal Bellard # Date 1236676499 0 # Node ID f34a5fddcf706f18e81bb6949b9c302bb865d0e4 # Parent 0c5bcb5a0cadad69176d437c27a8fd948f51897b hald: improve start script diff -r 0c5bcb5a0cad -r f34a5fddcf70 hal/stuff/etc/init.d/hald --- a/hal/stuff/etc/init.d/hald Tue Mar 10 09:13:49 2009 +0000 +++ b/hal/stuff/etc/init.d/hald Tue Mar 10 09:14:59 2009 +0000 @@ -14,7 +14,7 @@ case "$1" in start) - if [ -f $PIDFILE ] ; then + if active_pidfile $PIDFILE hald ; then echo "$NAME already running." exit 1 fi @@ -23,7 +23,7 @@ status ;; stop) - if [ ! -f $PIDFILE ] ; then + if ! active_pidfile $PIDFILE hald ; then echo "$NAME is not running." exit 1 fi @@ -33,7 +33,7 @@ status ;; restart) - if [ ! -f $PIDFILE ] ; then + if ! active_pidfile $PIDFILE hald ; then echo "$NAME is not running." exit 1 fi