From 423b45cb7b3d2eeaa59dcc10442e43b684701b2f Mon Sep 17 00:00:00 2001
From: Dennis Schwartz-Knap <dsk@napatech.com>
Date: Mon, 12 Feb 2018 17:26:44 +0100
Subject: [PATCH] Fixes #196 makes it possible to add server port as a env.

---
 minecraft-server/start-finalSetup04ServerProperties | 1 +
 1 file changed, 1 insertion(+)

diff --git a/minecraft-server/start-finalSetup04ServerProperties b/minecraft-server/start-finalSetup04ServerProperties
index 613a753f..cf417a2e 100755
--- a/minecraft-server/start-finalSetup04ServerProperties
+++ b/minecraft-server/start-finalSetup04ServerProperties
@@ -29,6 +29,7 @@ if [ ! -e $SERVER_PROPERTIES ]; then
     setServerProp "white-list" "true"
   fi
 
+  setServerProp "server-port" "$SERVER_PORT"
   setServerProp "motd" "$MOTD"
   setServerProp "allow-nether" "$ALLOW_NETHER"
   setServerProp "announce-player-achievements" "$ANNOUNCE_PLAYER_ACHIEVEMENTS"