1 files changed, 38 insertions, 0 deletions
diff --git a/patch-remap/mache-spigotflower/net/minecraft/server/dedicated/DedicatedServerSettings.java.patch b/patch-remap/mache-spigotflower/net/minecraft/server/dedicated/DedicatedServerSettings.java.patch
new file mode 100644
index 0000000000..28aed34995
--- /dev/null
+++ b/patch-remap/mache-spigotflower/net/minecraft/server/dedicated/DedicatedServerSettings.java.patch
@@ -0,0 +1,38 @@
+--- a/net/minecraft/server/dedicated/DedicatedServerSettings.java
++++ b/net/minecraft/server/dedicated/DedicatedServerSettings.java
+@@ -3,14 +3,21 @@
+ import java.nio.file.Path;
+ import java.util.function.UnaryOperator;
+ 
++// CraftBukkit start
++import java.io.File;
++import joptsimple.OptionSet;
++// CraftBukkit end
++
+ public class DedicatedServerSettings {
+ 
+     private final Path source;
+     private DedicatedServerProperties properties;
+ 
+-    public DedicatedServerSettings(Path path) {
+-        this.source = path;
+-        this.properties = DedicatedServerProperties.fromFile(path);
++    // CraftBukkit start
++    public DedicatedServerSettings(OptionSet optionset) {
++        this.source = ((File) optionset.valueOf("config")).toPath();
++        this.properties = DedicatedServerProperties.fromFile(source, optionset);
++        // CraftBukkit end
+     }
+ 
+     public DedicatedServerProperties getProperties() {
+@@ -21,8 +28,8 @@
+         this.properties.store(this.source);
+     }
+ 
+-    public DedicatedServerSettings update(UnaryOperator<DedicatedServerProperties> unaryoperator) {
+-        (this.properties = (DedicatedServerProperties) unaryoperator.apply(this.properties)).store(this.source);
++    public DedicatedServerSettings update(UnaryOperator<DedicatedServerProperties> propertiesOperator) {
++        (this.properties = (DedicatedServerProperties) propertiesOperator.apply(this.properties)).store(this.source);
+         return this;
+     }
+ }