diff --git a/src/warden-server/bin/wardend b/src/warden-server/bin/wardend index 2a1c0b7cf93ae8002c9488e83435161101d340a3..174adf8a3724ee75d1dfbf829149d7ff8ceb59ae 100755 --- a/src/warden-server/bin/wardend +++ b/src/warden-server/bin/wardend @@ -72,7 +72,7 @@ warden_start() { get_pid PID echo "Warden daemon is running (pid $PID)." else - echo "Starting Warden server daemon ..." + logger -s "Starting Warden server daemon ..." $WARDEN touch $LOCK_FILE fi @@ -81,7 +81,7 @@ warden_start() { warden_stop() { check_status if [ $STATUS -eq 1 ]; then - echo "Stoping Warden server daemon ..." + logger -s "Stopping Warden server daemon ..." if [ -e $PID_FILE ]; then PID=`cat $PID_FILE` kill -1 $PID @@ -107,7 +107,7 @@ warden_status() { warden_force_stop() { check_status if [ $STATUS -eq 1 ]; then - echo "Force stoping Warden server daemon ..." + logger -s "Force stopping Warden server daemon ..." get_pid PID kill -9 $PID if [ -e $PID_FILE ]; then