Remove patch that was made obsolete by vanilla (#8847)

This commit is contained in:
brickmonster 2023-02-13 17:52:27 +00:00 committed by GitHub
parent 8d1acf68ed
commit f2f9e8cc4d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
908 changed files with 236 additions and 255 deletions

View file

@ -0,0 +1,25 @@
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
From: Martin Panzer <postremus1996@googlemail.com>
Date: Sat, 28 May 2016 16:54:03 +0200
Subject: [PATCH] Add server-name parameter
diff --git a/src/main/java/org/bukkit/craftbukkit/Main.java b/src/main/java/org/bukkit/craftbukkit/Main.java
index d453c630da1780a7aeab80cf95adcee62f4e8a14..47c97c16eb23cdd485858c39c571a7ef5ac6d594 100644
--- a/src/main/java/org/bukkit/craftbukkit/Main.java
+++ b/src/main/java/org/bukkit/craftbukkit/Main.java
@@ -156,6 +156,14 @@ public class Main {
.defaultsTo(new File[] {})
.describedAs("Jar file");
// Paper end
+
+ // Paper start
+ acceptsAll(asList("server-name"), "Name of the server")
+ .withRequiredArg()
+ .ofType(String.class)
+ .defaultsTo("Unknown Server")
+ .describedAs("Name");
+ // Paper end
}
};