Changeset 4071:83b4b951d3cf in roaraudio for dist


Ignore:
Timestamp:
07/19/10 20:35:43 (14 years ago)
Author:
phi
Branch:
default
Phase:
public
Message:

only kill server if needed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • dist/debian-like/roaraudio

    r3690 r4071  
    185185  stop) 
    186186        echo -n "Stopping $DESC: " 
     187        set +e 
     188        if [ "$PIDFILE" != '' ] 
     189        then 
     190            PID=`cat $PIDFILE 2> /dev/null` 
     191            if [ "$PID" != '' ] 
     192            then 
     193                kill -0 $PID 2> /dev/null 
     194                if [ "$?" != '0' ] 
     195                then 
     196                    exit 0; 
     197                fi 
     198            else 
     199                exit 0; 
     200            fi 
     201        fi 
    187202        $DAEMON --stop $ROARD_OPTS 
    188203        echo "$NAME." 
     204        set -e 
    189205        ;; 
    190206  restart|force-reload) 
Note: See TracChangeset for help on using the changeset viewer.