From 461729259c1ee44b6fbaacef0f83df96d12f1263 Mon Sep 17 00:00:00 2001
From: Ben Peddell <klightspeed@killerwolves.net>
Date: Sat, 1 Oct 2016 07:22:19 +1000
Subject: [PATCH] Silence errors killing arkmanager process

---
 tools/arkmanager | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/arkmanager b/tools/arkmanager
index dbb086f..4737cb5 100755
--- a/tools/arkmanager
+++ b/tools/arkmanager
@@ -1102,7 +1102,7 @@ doStop() {
     rm -f "$arkserverroot/$arkoldautorestartfile"
     # kill the server with the PID
     PID=`getServerPID`
-    kill -INT $PID
+    kill -INT $PID >/dev/null 2>&1
 
     for (( i = 0; i < 20; i++ )); do
       sleep 1
@@ -1114,13 +1114,13 @@ doStop() {
     if isTheServerRunning; then
       tput rc
       echo "Killing server..."
-      kill -KILL $PID
+      kill -KILL $PID >/dev/null 2>&1
     fi
 
     if [ -f "${arkserverroot}/${arkmanagerpidfile}" ]; then
       PID="$(<"${arkserverroot}/${arkmanagerpidfile}")"
       if [ -n "$PID" ]; then
-        kill $PID
+        kill $PID >/dev/null 2>&1
       fi
     fi