diff options
author | Gordian Edenhofer | 2017-01-02 16:09:03 +0100 |
---|---|---|
committer | Gordian Edenhofer | 2017-01-02 16:09:03 +0100 |
commit | 16218e873211233b76d0d0bc4a938056b5b10222 (patch) | |
tree | dd7f1f33e0bfa79bba1c49520788adb369dc1bc2 /minecraftd.sh | |
parent | ff7ff630e2bb572af45561a5b52590e57b3bb8ad (diff) | |
download | aur-16218e873211233b76d0d0bc4a938056b5b10222.tar.gz |
upgpkg: minecraft-server 1.11.2-2
Change the idle_server naming schema in the script.
Previously screen was used to select a session with a specific well
defined name however apparently screen selects anything starting with
the specified pattern. This let to some confusion between the server and
the idle_server. To circumvent this behaviour simply change the naming
schema of the idle_server. THIS IS NOT A FIX! - part 2
Diffstat (limited to 'minecraftd.sh')
-rwxr-xr-x | minecraftd.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/minecraftd.sh b/minecraftd.sh index 8f65fd41ff30..b5fff42d6bff 100755 --- a/minecraftd.sh +++ b/minecraftd.sh @@ -22,7 +22,7 @@ declare -r game="minecraft" # System parameters for the control script [[ ! -z "${IDLE_SERVER}" ]] && tmp_IDLE_SERVER=${IDLE_SERVER} || IDLE_SERVER="false" -[[ ! -z "${IDLE_SESSION_NAME}" ]] && declare -r IDLE_SESSION_NAME=${IDLE_SESSION_NAME} || IDLE_SESSION_NAME="${SESSION_NAME}_idle_server" +[[ ! -z "${IDLE_SESSION_NAME}" ]] && declare -r IDLE_SESSION_NAME=${IDLE_SESSION_NAME} || IDLE_SESSION_NAME="idle_server_${SESSION_NAME}" [[ ! -z "${GAME_PORT}" ]] && declare -r GAME_PORT=${GAME_PORT} || GAME_PORT="25565" [[ ! -z "${CHECK_PLAYER_TIME}" ]] && declare -r CHECK_PLAYER_TIME=${CHECK_PLAYER_TIME} || CHECK_PLAYER_TIME="30" [[ ! -z "${IDLE_IF_TIME}" ]] && declare -r IDLE_IF_TIME=${IDLE_IF_TIME} || IDLE_IF_TIME="1200" |