@@ -1,18 +1,21 @@
|
||||
--- a/net/minecraft/server/DedicatedServerProperties.java
|
||||
+++ b/net/minecraft/server/DedicatedServerProperties.java
|
||||
@@ -2,9 +2,11 @@
|
||||
|
||||
@@ -3,8 +3,14 @@
|
||||
import java.util.Properties;
|
||||
import java.util.concurrent.TimeUnit;
|
||||
+import joptsimple.OptionSet; // CraftBukkit
|
||||
|
||||
+// CraftBukkit start
|
||||
+import joptsimple.OptionSet;
|
||||
+import net.minecraft.server.PropertyManager.EditableProperty;
|
||||
+// CraftBukkit end
|
||||
+
|
||||
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", "");
|
||||
@@ -55,8 +57,10 @@
|
||||
@@ -55,8 +61,10 @@
|
||||
public final PropertyManager<DedicatedServerProperties>.EditableProperty<Boolean> whiteList;
|
||||
public final GeneratorSettings generatorSettings;
|
||||
|
||||
@@ -25,7 +28,7 @@
|
||||
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");
|
||||
@@ -107,12 +111,14 @@
|
||||
@@ -107,12 +115,14 @@
|
||||
this.generatorSettings = GeneratorSettings.a(iregistrycustom, properties);
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user