From 7ed35bf280d7bf2330a791f2028fe339f9e64f37 Mon Sep 17 00:00:00 2001
From: Tomas Plesnik <plesnik@ics.muni.cz>
Date: Wed, 29 Feb 2012 18:22:12 +0100
Subject: [PATCH] pridan vypis PIDu po startu a stopnuti serveru
---
src/warden-server/bin/wardend | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/warden-server/bin/wardend b/src/warden-server/bin/wardend
index 4bce0b7..cd5f798 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
--
GitLab