diff options
Diffstat (limited to 'minecraftd.conf')
| -rw-r--r-- | minecraftd.conf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/minecraftd.conf b/minecraftd.conf index 2b795dca6e0b..d5cc234303e2 100644 --- a/minecraftd.conf +++ b/minecraftd.conf @@ -20,7 +20,9 @@ SERVER_START_CMD="java -Xms512M -Xmx1024M -XX:ParallelGCThreads=1 -jar './${MAIN # Describes whether a daemon process which stops the server if it is not used by a player # within IDLE_IF_TIME seconds should be started. The GAME_PORT is not inhereted to the server! IDLE_SERVER=false # true or false -IDLE_SESSION_NAME="idle_server" +# Ensure that if SESSION_NAME is passed through the command line and therefore set to read only by the script, +# IDLE_SESSION_NAME gets altered according to the command line and not the configurtion file, hence invoke the variable +IDLE_SESSION_NAME="${SESSION_NAME}_idle_server" GAME_PORT="25565" # used to listen for incoming connections when the server is down CHECK_PLAYER_TIME="30" # in seconds IDLE_IF_TIME="1200" # in seconds |