From e15becbc3012524789118a537631be0862561d19 Mon Sep 17 00:00:00 2001
From: Ben Peddell <klightspeed@killerwolves.net>
Date: Mon, 22 Jun 2015 18:30:35 +1000
Subject: [PATCH] Add server port to server variables

---
 tools/arkmanager | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/tools/arkmanager b/tools/arkmanager
index 117c99b..3c1facf 100755
--- a/tools/arkmanager
+++ b/tools/arkmanager
@@ -129,6 +129,7 @@ doStart() {
     echo "The server is already running"
   else
     ark_SessionName="${ark_SessionName:-${sessionname}}"
+    ark_Port="${ark_Port:-${arkserverport}}"
     ark_QueryPort="${ark_QueryPort:-${arkqueryport}}"
     ark_ServerPassword="${ark_ServerPassword:-${arkserverpass}}"
     ark_ServerAdminPassword="${ark_ServerAdminPassword:-${arkserverapass}}"
@@ -139,6 +140,13 @@ doStart() {
       name="${varname#ark_}"
       val="${!varname}"
 
+      # Port is actually one higher than specified
+      # i.e. specifying port 7777 will have the server
+      # use port 7778
+      if [ "$name" == "Port" ]; then
+        (( val = val - 1 ))
+      fi
+
       if [ -n "$val" ]; then
         arkserveropts="${arkserveropts}?${name}=${val}"
       fi