mirror of
https://github.com/PaperMC/Paper.git
synced 2025-01-07 19:12:22 +01:00
18 lines
741 B
Diff
18 lines
741 B
Diff
|
--- 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() {
|