aboutsummaryrefslogtreecommitdiffhomepage
path: root/patch-remap/og/net/minecraft/server/dedicated/DedicatedServerSettings.patch
diff options
context:
space:
mode:
Diffstat (limited to 'patch-remap/og/net/minecraft/server/dedicated/DedicatedServerSettings.patch')
-rw-r--r--patch-remap/og/net/minecraft/server/dedicated/DedicatedServerSettings.patch27
1 files changed, 27 insertions, 0 deletions
diff --git a/patch-remap/og/net/minecraft/server/dedicated/DedicatedServerSettings.patch b/patch-remap/og/net/minecraft/server/dedicated/DedicatedServerSettings.patch
new file mode 100644
index 0000000000..9a52b5cc81
--- /dev/null
+++ b/patch-remap/og/net/minecraft/server/dedicated/DedicatedServerSettings.patch
@@ -0,0 +1,27 @@
+--- 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() {