Use \u001F instead of a space as a delimeter for game args

Signed-off-by: Xander <xander@isxander.dev>
This commit is contained in:
Xander 2025-04-26 21:57:28 +01:00 committed by GitHub
parent a702d06cd8
commit a92e114236
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -100,7 +100,7 @@ public final class StandardLauncher extends AbstractLauncher {
StringBuilder joinedGameArgs = new StringBuilder();
for (String gameArg : gameArgs) {
if (joinedGameArgs.length() > 0) {
joinedGameArgs.append(" ");
joinedGameArgs.append('\u001F'); // unit separator, designed for this purpose
}
joinedGameArgs.append(gameArg);
}