Allow pre-escaping unicode in server.properties (#2483)

This commit is contained in:
Geoff Bourne authored and GitHub committed 2023-11-11 19:53:41 -06:00
1 parent aba27ad444
commit eb279d0fa0
2 files changed
+1 -4

No files matched your search

-3
View File
@@ -22,9 +22,6 @@ elif [[ -v OVERRIDE_WHITELIST ]] && isTrue "${OVERRIDE_WHITELIST}"; then
fi
sharedArgs=(--version="$VERSION")
if isFalse "${ONLINE_MODE:-true}"; then
sharedArgs+=( --offline )
fi
if [[ -v OPS_FILE ]]; then
existing="$EXISTING_OPS_FILE"