2021-06-11 14:02:28 +02:00
|
|
|
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
2023-03-23 17:49:24 +01:00
|
|
|
From: Riley Park <rileysebastianpark@gmail.com>
|
2021-06-11 14:02:28 +02:00
|
|
|
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
|
2023-09-22 07:41:27 +02:00
|
|
|
index 6e89b87dec5f9cb5e5657be0a6d23ae5edf7d2bd..cb986e6aa28729b6037ec380ad41c717cfcb7ef3 100644
|
2021-06-11 14:02:28 +02:00
|
|
|
--- a/src/main/java/net/minecraft/server/Main.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/Main.java
|
2023-09-22 07:41:27 +02:00
|
|
|
@@ -299,6 +299,7 @@ public class Main {
|
2021-06-11 14:02:28 +02:00
|
|
|
*/
|
|
|
|
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();
|
|
|
|
}
|