diff options
| author | Noah van der Aa <[email protected]> | 2021-12-01 02:31:13 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-11-30 17:31:13 -0800 |
| commit | cd9fe9ca642322f8ba560a8c0f86c877af2cd10f (patch) | |
| tree | 0099ebdd316d7b54e32fde7c5039011555b330ad /patches/server/0657-Add-environment-variable-to-disable-server-gui.patch | |
| parent | effa3bad36df91b9cca1920e357b963806f62ff6 (diff) | |
| download | Paper-cd9fe9ca642322f8ba560a8c0f86c877af2cd10f.tar.gz Paper-cd9fe9ca642322f8ba560a8c0f86c877af2cd10f.zip | |
Port flat bedrock (generator settings) to 1.18 (#6960)
Diffstat (limited to 'patches/server/0657-Add-environment-variable-to-disable-server-gui.patch')
| -rw-r--r-- | patches/server/0657-Add-environment-variable-to-disable-server-gui.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/patches/server/0657-Add-environment-variable-to-disable-server-gui.patch b/patches/server/0657-Add-environment-variable-to-disable-server-gui.patch deleted file mode 100644 index a7f97d8c99..0000000000 --- a/patches/server/0657-Add-environment-variable-to-disable-server-gui.patch +++ /dev/null @@ -1,18 +0,0 @@ -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 bb85bfb074830d771be8527f6c25ebb578578f18..f685ab3cc6e4fd76e8dec3d2d3627a13715cda44 100644 ---- a/src/main/java/net/minecraft/server/Main.java -+++ b/src/main/java/net/minecraft/server/Main.java -@@ -249,6 +249,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(); - } |