From e630ffcbb577bf69364cddaae984f934c2261e61 Mon Sep 17 00:00:00 2001
From: Tomas Plesnik <plesnik@ics.muni.cz>
Date: Thu, 12 Jan 2012 18:43:27 +0100
Subject: [PATCH] pridano logovani pomoci logger pri startu warden serveru
---
src/warden-server/bin/wardend | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/warden-server/bin/wardend b/src/warden-server/bin/wardend
index 2a1c0b7..174adf8 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
--
GitLab