diff options
| author | Gordian Edenhofer | 2016-08-04 12:51:07 +0200 |
|---|---|---|
| committer | Gordian Edenhofer | 2016-08-04 12:51:07 +0200 |
| commit | 82a539adb82bd23eedc04766d617ce62a7433825 (patch) | |
| tree | 68988ffd7d914da257baa6dc54bcb541e778a873 /minecraftd.conf | |
| parent | 271794e3ac91683aaac65be79a637ebc1c00f6d7 (diff) | |
| download | aur-82a539adb82bd23eedc04766d617ce62a7433825.tar.gz | |
upgpkg: minecraft-server 1.10.2-3
* invoke SESSION_NAME when setting IDLE_SESSION_NAME
* make the destination of the game command dump configurable
* surpress error messages when sourcing since some variables might be
set to read-only
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 |