mirror of
https://github.com/PaperMC/Paper.git
synced 2025-08-06 15:12:13 -07:00
net/minecraft/server/dedicated
This commit is contained in:
@@ -0,0 +1,17 @@
|
||||
--- 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() {
|
Reference in New Issue
Block a user