Skip to content
Snippets Groups Projects
Commit 7ed35bf2 authored by Tomáš Plesník's avatar Tomáš Plesník
Browse files

pridan vypis PIDu po startu a stopnuti serveru

parent 9f83726f
No related branches found
No related tags found
No related merge requests found
...@@ -80,10 +80,12 @@ warden_start() { ...@@ -80,10 +80,12 @@ warden_start() {
check_status check_status
if [ $STATUS -eq 1 ]; then if [ $STATUS -eq 1 ]; then
get_pid PID get_pid PID
echo "Warden daemon is running (pid $PID)." echo "Warden server daemon is running (pid $PID)."
else else
logger -s "Starting Warden server daemon ..." logger -s "Starting Warden server daemon ..."
$DAEMON $DAEMON
PID=`cat $PID_FILE`
logger -s "Warden server daemon is running (pid $PID)."
touch $LOCK_FILE touch $LOCK_FILE
fi fi
} }
...@@ -96,6 +98,7 @@ warden_stop() { ...@@ -96,6 +98,7 @@ warden_stop() {
PID=`cat $PID_FILE` PID=`cat $PID_FILE`
kill -1 $PID kill -1 $PID
rm -f $LOCK_FILE rm -f $LOCK_FILE
logger -s "Warden server daemon is stopped (pid $PID)."
else else
echo "Unable to stop Warden server daemon. Try to use: $SCRIPTNAME force-stop" echo "Unable to stop Warden server daemon. Try to use: $SCRIPTNAME force-stop"
fi fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment