--- a/net/minecraft/server/dedicated/DedicatedServerSettings.java
+++ b/net/minecraft/server/dedicated/DedicatedServerSettings.java
@@ -7,9 +_,11 @@
     private final Path source;
     private DedicatedServerProperties properties;
 
-    public DedicatedServerSettings(Path source) {
-        this.source = source;
-        this.properties = DedicatedServerProperties.fromFile(source);
+    // CraftBukkit start
+    public DedicatedServerSettings(joptsimple.OptionSet optionset) {
+        this.source = ((java.io.File) optionset.valueOf("config")).toPath();
+        this.properties = DedicatedServerProperties.fromFile(this.source, optionset);
+        // CraftBukkit end
     }
 
     public DedicatedServerProperties getProperties() {
