blob: 28aed34995e1b3c171ebda8e4f7cb3be0ab121b8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
--- 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() {
@@ -21,8 +28,8 @@
this.properties.store(this.source);
}
- public DedicatedServerSettings update(UnaryOperator<DedicatedServerProperties> unaryoperator) {
- (this.properties = (DedicatedServerProperties) unaryoperator.apply(this.properties)).store(this.source);
+ public DedicatedServerSettings update(UnaryOperator<DedicatedServerProperties> propertiesOperator) {
+ (this.properties = (DedicatedServerProperties) propertiesOperator.apply(this.properties)).store(this.source);
return this;
}
}
|
