Paper Plugins (#8108)

This commit is contained in:
Owen 2023-02-19 09:57:10 -05:00 committed by GitHub
parent f9dc371fd8
commit 841da90501
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
671 changed files with 9861 additions and 719 deletions

View file

@ -5,10 +5,10 @@ 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 727efbe152dccabf130a6871e3d2582a5a733016..2dba2853764ca1cff114d3130672fbd596604ea3 100644
index 7989b5bf002ba0995c32fb77498c7f50b34e6150..814a4823ab55d09172b2b699d303ced8bec21b47 100644
--- a/src/main/java/net/minecraft/server/Main.java
+++ b/src/main/java/net/minecraft/server/Main.java
@@ -281,6 +281,7 @@ public class Main {
@@ -292,6 +292,7 @@ public class Main {
*/
boolean flag1 = !optionset.has("nogui") && !optionset.nonOptionArguments().contains("nogui");