From 6b6e4c0a380228c820bf8f7e79d8a60b74e62e0d Mon Sep 17 00:00:00 2001
From: Ben Peddell <klightspeed@killerwolves.net>
Date: Fri, 6 Apr 2018 18:36:45 +1000
Subject: [PATCH] Check if PID is still running

---
 tools/arkmanager | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/tools/arkmanager b/tools/arkmanager
index 9b88197..6bc85b7 100755
--- a/tools/arkmanager
+++ b/tools/arkmanager
@@ -1819,8 +1819,11 @@ doUpdate() {
   fi
 
   if [[ -f "$arkserverroot/$arkmanagerpidfile" && "$arkserverroot/$arkmanagerpidfile" -ot "${arkserverroot}/${arkupdatetimefile}" ]]; then
-    logprint "Server was updated while it was running"
-    bgupdate=1
+    local mgrpid="$(<"$arkserverroot/$arkmanagerpidfile")"
+    if (( mgrpid != 0 )); then
+      logprint "Server was updated while it was running"
+      bgupdate=1
+    fi
   fi
 
   if [ -n "$downloadonly" ]; then