mirrors/papermc
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

rebuild old indexes, first work

Browse source
This commit is contained in:
Noah van der Aa 2023-09-21 19:39:51 +02:00
parent 6267e26420
commit b6e46e90cd
No known key found for this signature in database
GPG key ID: 547D90BC6FF753CF
128 changed files with 194 additions and 207 deletions
Download patch file Download diff file Expand all files Collapse all files

2
patches/unapplied/server/0602-Add-environment-variable-to-disable-server-gui.patch
View file

@ -5,7 +5,7 @@ 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 028b6c09796cec412f4aab56e99ba1b8bdfcc8ff..4bd47eeb9e4c8ece2ba43a6c8c4e89b1e67ed9d9 100644
index 27eb466c3f5f4342f892d1c55c15108ae6861912..f035065aa46a8c1a2c3064b82208fbdc5ac4463d 100644
--- a/src/main/java/net/minecraft/server/Main.java
+++ b/src/main/java/net/minecraft/server/Main.java
@@ -304,6 +304,7 @@ public class Main {