wok rev 11694

distcc: update start script
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sat Feb 18 17:43:17 2012 +0100 (2012-02-18)
parents 0c9b8959f9b7
children e26a09e68fcb
files distcc/receipt distcc/stuff/distccd
line diff
     1.1 --- a/distcc/receipt	Sat Feb 18 17:39:51 2012 +0100
     1.2 +++ b/distcc/receipt	Sat Feb 18 17:43:17 2012 +0100
     1.3 @@ -55,8 +55,8 @@
     1.4  	cat <<EOF
     1.5  ----
     1.6  Now you can:
     1.7 -* Just run '/etc/init.d/$PACKAGE start' to start daemon.
     1.8 -* Add $PACKAGE to RUN_DAEMONS in /etc/rcS.conf to run $PACKAGE àat boot time.
     1.9 +* Just run '/etc/init.d/distccd start' to start daemon.
    1.10 +* Add distccd to RUN_DAEMONS in /etc/rcS.conf to run distccd àat boot time.
    1.11  * Allow cliets in /etc/distcc/clients.allow
    1.12  ----
    1.13  
     2.1 --- a/distcc/stuff/distccd	Sat Feb 18 17:39:51 2012 +0100
     2.2 +++ b/distcc/stuff/distccd	Sat Feb 18 17:43:17 2012 +0100
     2.3 @@ -30,7 +30,7 @@
     2.4  
     2.5  case "$1" in
     2.6    start)
     2.7 -    if [ -f $PIDFILE ] ; then
     2.8 +    if active_pidfile $PIDFILE distccd ; then
     2.9        echo "$NAME already running."
    2.10        exit 1
    2.11      fi
    2.12 @@ -39,7 +39,7 @@
    2.13      status
    2.14      ;;
    2.15    stop)
    2.16 -    if [ ! -f $PIDFILE ] ; then
    2.17 +    if ! active_pidfile $PIDFILE distccd ; then
    2.18        echo "$NAME is not running."
    2.19        exit 1
    2.20      fi
    2.21 @@ -48,7 +48,7 @@
    2.22      status
    2.23      ;;
    2.24    restart)
    2.25 -    if [ ! -f $PIDFILE ] ; then
    2.26 +    if ! active_pidfile $PIDFILE distccd ; then
    2.27        echo "$NAME is not running."
    2.28        exit 1
    2.29      fi