diff options
Diffstat (limited to 'patch-remap/og/net/minecraft/server/dedicated/DedicatedServerSettings.patch')
-rw-r--r-- | patch-remap/og/net/minecraft/server/dedicated/DedicatedServerSettings.patch | 27 |
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() { |