From b294cb622a4a185e7c7c1f8647cb94f78c55e09d Mon Sep 17 00:00:00 2001 From: Ben Peddell Date: Sat, 15 Aug 2015 22:18:23 +1000 Subject: [PATCH] ARK -flag support --- tools/arkmanager | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/tools/arkmanager b/tools/arkmanager index 76984f9..1ef81a4 100755 --- a/tools/arkmanager +++ b/tools/arkmanager @@ -295,6 +295,8 @@ doRun() { arkserveropts="-MapModID=$serverMapModId" fi + arkextraopts=( ) + # bring in ark_... options for varname in "${!ark_@}"; do name="${varname#ark_}" @@ -312,12 +314,23 @@ doRun() { fi done + # bring in arkflag_... flags + for varname in "${!arkflag_@}"; do + name="${varname#arkflag_}" + val="${!varname}" + + if [ -n "$val" ]; then + arkextraopts=( "${arkextraopts[@]}" "-${name}" ) + fi + done + + arkserveropts="${arkserveropts}?listen" # run the server in background echo "`timestamp`: start" # set max open files limit before we start the server ulimit -n $maxOpenFiles - "$arkserverroot/$arkserverexec" "$arkserveropts" + "$arkserverroot/$arkserverexec" "$arkserveropts" "${arkextraopts[@]}" echo "`timestamp`: exited with status $?" }