diff --git a/src/warden-server/bin/wardend b/src/warden-server/bin/wardend index 4bce0b79c21646dfb4efa5504b087e567160fd19..cd5f798170e61e9086f3c4a5e0925b061d7c7308 100755 --- a/src/warden-server/bin/wardend +++ b/src/warden-server/bin/wardend @@ -80,10 +80,12 @@ warden_start() { check_status if [ $STATUS -eq 1 ]; then get_pid PID - echo "Warden daemon is running (pid $PID)." + echo "Warden server daemon is running (pid $PID)." else logger -s "Starting Warden server daemon ..." $DAEMON + PID=`cat $PID_FILE` + logger -s "Warden server daemon is running (pid $PID)." touch $LOCK_FILE fi } @@ -96,6 +98,7 @@ warden_stop() { PID=`cat $PID_FILE` kill -1 $PID rm -f $LOCK_FILE + logger -s "Warden server daemon is stopped (pid $PID)." else echo "Unable to stop Warden server daemon. Try to use: $SCRIPTNAME force-stop" fi