Merge pull request #152 from dschaper/patch-3

Add optional `nogui`
This commit is contained in:
Geoff Bourne
2017-05-20 11:20:20 -05:00
committed by GitHub

View File

@@ -503,10 +503,15 @@ if [ "$TYPE" = "SPIGOT" ]; then
fi fi
fi fi
if [[ $CONSOLE = false ]]; then EXTRA_ARGS=""
EXTRA_ARGS=--noconsole # Optional disable console
else if [[ ${CONSOLE} = false || ${CONSOLE} = FALSE ]]; then
EXTRA_ARGS="" EXTRA_ARGS+="--noconsole"
fi
# Optional disable GUI for headless servers
if [[ ${GUI} = false || ${GUI} = FALSE ]]; then
EXTRA_ARGS="${EXTRA_ARGS} nogui"
fi fi
# put these prior JVM_OPTS at the end to give any memory settings there higher precedence # put these prior JVM_OPTS at the end to give any memory settings there higher precedence