Fixed a bug when the server name contains spaces

Danixu · Jan 11, 2025 · 56671ec · 56671ec
1 parent b50c6fd
commit 56671ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/entry.sh b/scripts/entry.sh
@@ -75,7 +75,7 @@ fi
 
 # You can choose a different servername by using this option when starting the server.
 if [ -n "${SERVERNAME}" ]; then
-  ARGS="${ARGS} -servername ${SERVERNAME}"
+  ARGS="${ARGS} -servername \"${SERVERNAME}\""
 else
   # If not servername is set, use the default name in the next step
   SERVERNAME="servertest"