mirror of
https://github.com/PaperMC/Paper.git
synced 2024-12-12 18:01:07 +01:00
46 lines
2.3 KiB
Diff
46 lines
2.3 KiB
Diff
--- a/net/minecraft/server/DedicatedServerProperties.java
|
|
+++ b/net/minecraft/server/DedicatedServerProperties.java
|
|
@@ -2,9 +2,11 @@
|
|
|
|
import java.util.Properties;
|
|
import java.util.concurrent.TimeUnit;
|
|
+import joptsimple.OptionSet; // CraftBukkit
|
|
|
|
public class DedicatedServerProperties extends PropertyManager<DedicatedServerProperties> {
|
|
|
|
+ public final boolean debug = this.getBoolean("debug", false); // CraftBukkit
|
|
public final boolean onlineMode = this.getBoolean("online-mode", true);
|
|
public final boolean preventProxyConnections = this.getBoolean("prevent-proxy-connections", false);
|
|
public final String serverIp = this.getString("server-ip", "");
|
|
@@ -53,8 +55,10 @@
|
|
public final PropertyManager<DedicatedServerProperties>.EditableProperty<Boolean> whiteList;
|
|
public final GeneratorSettings generatorSettings;
|
|
|
|
- public DedicatedServerProperties(Properties properties) {
|
|
- super(properties);
|
|
+ // CraftBukkit start
|
|
+ public DedicatedServerProperties(Properties properties, OptionSet optionset) {
|
|
+ super(properties, optionset);
|
|
+ // CraftBukkit end
|
|
this.difficulty = (EnumDifficulty) this.a("difficulty", a(EnumDifficulty::getById, EnumDifficulty::a), EnumDifficulty::c, EnumDifficulty.EASY);
|
|
this.gamemode = (EnumGamemode) this.a("gamemode", a(EnumGamemode::getById, EnumGamemode::a), EnumGamemode::b, EnumGamemode.SURVIVAL);
|
|
this.levelName = this.getString("level-name", "world");
|
|
@@ -103,12 +107,14 @@
|
|
this.generatorSettings = GeneratorSettings.a(properties);
|
|
}
|
|
|
|
- public static DedicatedServerProperties load(java.nio.file.Path java_nio_file_path) {
|
|
- return new DedicatedServerProperties(loadPropertiesFile(java_nio_file_path));
|
|
+ // CraftBukkit start
|
|
+ public static DedicatedServerProperties load(java.nio.file.Path java_nio_file_path, OptionSet optionset) {
|
|
+ return new DedicatedServerProperties(loadPropertiesFile(java_nio_file_path), optionset);
|
|
}
|
|
|
|
@Override
|
|
- protected DedicatedServerProperties reload(Properties properties) {
|
|
- return new DedicatedServerProperties(properties);
|
|
+ protected DedicatedServerProperties reload(Properties properties, OptionSet optionset) {
|
|
+ return new DedicatedServerProperties(properties, optionset);
|
|
+ // CraftBukkit end
|
|
}
|
|
}
|