From 5d868e58480696389eb0c8f8a3f1a19d183dfe9e Mon Sep 17 00:00:00 2001
From: Tomas Plesnik <plesnik@ics.muni.cz>
Date: Thu, 1 Mar 2012 15:30:24 +0100
Subject: [PATCH] zmena zpusobu stopnuti serveru
---
src/warden-server/sh/uninstall.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/warden-server/sh/uninstall.sh b/src/warden-server/sh/uninstall.sh
index 3caadb9..090350f 100755
--- a/src/warden-server/sh/uninstall.sh
+++ b/src/warden-server/sh/uninstall.sh
@@ -155,7 +155,7 @@ warden_dir_chck()
stop_warden_server()
{
echo "Stopping warden server ... "
- $init stop || $init force-stop
+ $init force-stop 1>/dev/null 2>&1
}
--
GitLab