diff options
Diffstat (limited to 'patches/server/0654-Add-environment-variable-to-disable-server-gui.patch')
| -rw-r--r-- | patches/server/0654-Add-environment-variable-to-disable-server-gui.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/patches/server/0654-Add-environment-variable-to-disable-server-gui.patch b/patches/server/0654-Add-environment-variable-to-disable-server-gui.patch new file mode 100644 index 0000000000..a8785b7a29 --- /dev/null +++ b/patches/server/0654-Add-environment-variable-to-disable-server-gui.patch @@ -0,0 +1,18 @@ +From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001 +From: Riley Park <[email protected]> +Date: Mon, 17 May 2021 00:34:55 -0700 +Subject: [PATCH] Add environment variable to disable server gui + + +diff --git a/src/main/java/net/minecraft/server/Main.java b/src/main/java/net/minecraft/server/Main.java +index 11ed386c6358e55fe5c0e5e8496fa7f7c663a7e2..69dc1271be0a3f3f2fb4ce15981ed25d24dce785 100644 +--- a/src/main/java/net/minecraft/server/Main.java ++++ b/src/main/java/net/minecraft/server/Main.java +@@ -272,6 +272,7 @@ public class Main { + */ + boolean flag1 = !optionset.has("nogui") && !optionset.nonOptionArguments().contains("nogui"); + ++ if(!Boolean.parseBoolean(System.getenv().getOrDefault("PAPER_DISABLE_SERVER_GUI", String.valueOf(false)))) // Paper + if (flag1 && !GraphicsEnvironment.isHeadless()) { + dedicatedserver1.showGui(); + } |