wok-6.x diff distcc/stuff/distccd @ rev 13194
linux-source: add rdev
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Sun Aug 05 00:27:09 2012 +0200 (2012-08-05) |
parents | 51e71ca42f12 |
children | 0d8a1a3edc72 |
line diff
1.1 --- a/distcc/stuff/distccd Mon Apr 04 00:25:20 2011 +0200 1.2 +++ b/distcc/stuff/distccd Sun Aug 05 00:27:09 2012 +0200 1.3 @@ -30,7 +30,7 @@ 1.4 1.5 case "$1" in 1.6 start) 1.7 - if [ -f $PIDFILE ] ; then 1.8 + if active_pidfile $PIDFILE distccd ; then 1.9 echo "$NAME already running." 1.10 exit 1 1.11 fi 1.12 @@ -39,7 +39,7 @@ 1.13 status 1.14 ;; 1.15 stop) 1.16 - if [ ! -f $PIDFILE ] ; then 1.17 + if ! active_pidfile $PIDFILE distccd ; then 1.18 echo "$NAME is not running." 1.19 exit 1 1.20 fi 1.21 @@ -48,7 +48,7 @@ 1.22 status 1.23 ;; 1.24 restart) 1.25 - if [ ! -f $PIDFILE ] ; then 1.26 + if ! active_pidfile $PIDFILE distccd ; then 1.27 echo "$NAME is not running." 1.28 exit 1 1.29 fi