--- 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() {