From 9d50fda5a1b68733110a25e4bdb4f46fe3136ace Mon Sep 17 00:00:00 2001
From: Sispheor <nico.marcq@gmail.com>
Date: Sun, 21 Jun 2015 18:33:43 +0200
Subject: [PATCH] less time to wait when we kill ther server

---
 tools/arkmanager | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/arkmanager b/tools/arkmanager
index 0f75c6a..8e86ae8 100755
--- a/tools/arkmanager
+++ b/tools/arkmanager
@@ -137,7 +137,7 @@ doStop() {
   if isTheServerRunning; then
     echo "Stopping server..."
     screen -X -S "$servicename" -X stuff "^C"
-    sleep 30
+    sleep 10
     echo "$timestamp: stop" >> "$logdir/arkserver.log"
     tail -n 1 "$logdir/arkserver.log"
   else