Fixes #196 makes it possible to add server port as a env.

This commit is contained in:
Dennis Schwartz-Knap 2018-02-12 17:26:44 +01:00
parent 6ef6bc68c2
commit 423b45cb7b

View file

@ -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"