Archiviert
13
0
Dieses Repository wurde am 2024-12-25 archiviert. Du kannst Dateien ansehen und es klonen, aber nicht pushen oder Issues/Pull-Requests öffnen.
Paper-Old/nms-patches/DedicatedServerSettings.patch
2019-04-23 12:00:00 +10:00

28 Zeilen
959 B
Diff

--- a/net/minecraft/server/DedicatedServerSettings.java
+++ b/net/minecraft/server/DedicatedServerSettings.java
@@ -1,15 +1,21 @@
package net.minecraft.server;
import java.util.function.UnaryOperator;
+// CraftBukkit start
+import java.io.File;
+import joptsimple.OptionSet;
+// CraftBukkit end
public class DedicatedServerSettings {
private final java.nio.file.Path path;
private DedicatedServerProperties properties;
- public DedicatedServerSettings(java.nio.file.Path java_nio_file_path) {
- this.path = java_nio_file_path;
- this.properties = DedicatedServerProperties.load(java_nio_file_path);
+ // CraftBukkit start
+ public DedicatedServerSettings(OptionSet optionset) {
+ this.path = ((File) optionset.valueOf("config")).toPath();
+ this.properties = DedicatedServerProperties.load(path, optionset);
+ // CraftBukkit end
}
public DedicatedServerProperties getProperties() {