2021-03-15 23:00:00 +01:00
|
|
|
--- a/net/minecraft/server/dedicated/DedicatedServerProperties.java
|
|
|
|
+++ b/net/minecraft/server/dedicated/DedicatedServerProperties.java
|
2022-06-07 18:00:00 +02:00
|
|
|
@@ -37,10 +37,15 @@
|
|
|
|
import net.minecraft.world.level.levelgen.structure.StructureSet;
|
|
|
|
import org.slf4j.Logger;
|
2019-04-23 04:00:00 +02:00
|
|
|
|
2021-03-08 22:47:33 +01:00
|
|
|
+// CraftBukkit start
|
|
|
|
+import joptsimple.OptionSet;
|
|
|
|
+// CraftBukkit end
|
|
|
|
+
|
2019-04-23 04:00:00 +02:00
|
|
|
public class DedicatedServerProperties extends PropertyManager<DedicatedServerProperties> {
|
|
|
|
|
2022-06-07 18:00:00 +02:00
|
|
|
static final Logger LOGGER = LogUtils.getLogger();
|
|
|
|
private static final Pattern SHA1 = Pattern.compile("^[a-fA-F0-9]{40}$");
|
2021-11-21 23:00:00 +01:00
|
|
|
+ public final boolean debug = this.get("debug", false); // CraftBukkit
|
|
|
|
public final boolean onlineMode = this.get("online-mode", true);
|
|
|
|
public final boolean preventProxyConnections = this.get("prevent-proxy-connections", false);
|
|
|
|
public final String serverIp = this.get("server-ip", "");
|
2022-06-07 18:00:00 +02:00
|
|
|
@@ -95,8 +100,10 @@
|
2021-06-11 07:00:00 +02:00
|
|
|
@Nullable
|
2021-07-06 16:00:00 +02:00
|
|
|
private GeneratorSettings worldGenSettings;
|
2019-04-23 04:00:00 +02:00
|
|
|
|
2021-06-11 07:00:00 +02:00
|
|
|
- public DedicatedServerProperties(Properties properties) {
|
2019-04-23 04:00:00 +02:00
|
|
|
- super(properties);
|
|
|
|
+ // CraftBukkit start
|
2021-06-11 07:00:00 +02:00
|
|
|
+ public DedicatedServerProperties(Properties properties, OptionSet optionset) {
|
2019-04-23 04:00:00 +02:00
|
|
|
+ super(properties, optionset);
|
|
|
|
+ // CraftBukkit end
|
2021-11-21 23:00:00 +01:00
|
|
|
this.difficulty = (EnumDifficulty) this.get("difficulty", dispatchNumberOrString(EnumDifficulty::byId, EnumDifficulty::byName), EnumDifficulty::getKey, EnumDifficulty.EASY);
|
|
|
|
this.gamemode = (EnumGamemode) this.get("gamemode", dispatchNumberOrString(EnumGamemode::byId, EnumGamemode::byName), EnumGamemode::getName, EnumGamemode.SURVIVAL);
|
|
|
|
this.levelName = this.get("level-name", "world");
|
2022-06-07 18:00:00 +02:00
|
|
|
@@ -147,13 +154,15 @@
|
|
|
|
this.serverResourcePackInfo = getServerPackInfo(this.get("resource-pack", ""), this.get("resource-pack-sha1", ""), this.getLegacyString("resource-pack-hash"), this.get("require-resource-pack", false), this.get("resource-pack-prompt", ""));
|
2019-04-23 04:00:00 +02:00
|
|
|
}
|
|
|
|
|
2021-11-21 23:00:00 +01:00
|
|
|
- public static DedicatedServerProperties fromFile(Path path) {
|
|
|
|
- return new DedicatedServerProperties(loadFromFile(path));
|
2019-04-23 04:00:00 +02:00
|
|
|
+ // CraftBukkit start
|
2021-11-21 23:00:00 +01:00
|
|
|
+ public static DedicatedServerProperties fromFile(Path path, OptionSet optionset) {
|
|
|
|
+ return new DedicatedServerProperties(loadFromFile(path), optionset);
|
2019-04-23 04:00:00 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
2020-08-11 23:00:00 +02:00
|
|
|
- protected DedicatedServerProperties reload(IRegistryCustom iregistrycustom, Properties properties) {
|
2021-06-11 07:00:00 +02:00
|
|
|
- DedicatedServerProperties dedicatedserverproperties = new DedicatedServerProperties(properties);
|
2020-08-11 23:00:00 +02:00
|
|
|
+ protected DedicatedServerProperties reload(IRegistryCustom iregistrycustom, Properties properties, OptionSet optionset) {
|
2021-06-11 07:00:00 +02:00
|
|
|
+ DedicatedServerProperties dedicatedserverproperties = new DedicatedServerProperties(properties, optionset);
|
2019-04-23 04:00:00 +02:00
|
|
|
+ // CraftBukkit end
|
2021-06-11 07:00:00 +02:00
|
|
|
|
2021-11-21 23:00:00 +01:00
|
|
|
dedicatedserverproperties.getWorldGenSettings(iregistrycustom);
|
2021-06-11 07:00:00 +02:00
|
|
|
return dedicatedserverproperties;
|
2022-06-07 18:00:00 +02:00
|
|
|
@@ -222,10 +231,10 @@
|
|
|
|
}).orElseThrow(() -> {
|
|
|
|
return new IllegalStateException("Invalid datapack contents: can't find default preset");
|
|
|
|
});
|
|
|
|
- Optional optional = Optional.ofNullable(MinecraftKey.tryParse(this.levelType)).map((minecraftkey) -> {
|
|
|
|
+ Optional<ResourceKey<WorldPreset>> optional = Optional.ofNullable(MinecraftKey.tryParse(this.levelType)).map((minecraftkey) -> { // CraftBukkit - decompile error
|
|
|
|
return ResourceKey.create(IRegistry.WORLD_PRESET_REGISTRY, minecraftkey);
|
|
|
|
}).or(() -> {
|
|
|
|
- return Optional.ofNullable((ResourceKey) DedicatedServerProperties.a.LEGACY_PRESET_NAMES.get(this.levelType));
|
|
|
|
+ return Optional.ofNullable(DedicatedServerProperties.a.LEGACY_PRESET_NAMES.get(this.levelType)); // CraftBukkit - decompile error
|
|
|
|
});
|
2022-02-28 16:00:00 +01:00
|
|
|
|
2022-06-07 18:00:00 +02:00
|
|
|
Objects.requireNonNull(iregistry);
|
|
|
|
@@ -239,7 +248,7 @@
|
2022-02-28 16:00:00 +01:00
|
|
|
|
2022-06-07 18:00:00 +02:00
|
|
|
if (holder1.is(WorldPresets.FLAT)) {
|
|
|
|
RegistryOps<JsonElement> registryops = RegistryOps.create(JsonOps.INSTANCE, iregistrycustom);
|
|
|
|
- DataResult dataresult = GeneratorSettingsFlat.CODEC.parse(new Dynamic(registryops, this.generatorSettings()));
|
|
|
|
+ DataResult<GeneratorSettingsFlat> dataresult = GeneratorSettingsFlat.CODEC.parse(new Dynamic(registryops, this.generatorSettings())); // CraftBukkit - decompile error
|
|
|
|
Logger logger = DedicatedServerProperties.LOGGER;
|
2022-02-28 16:00:00 +01:00
|
|
|
|
2022-06-07 18:00:00 +02:00
|
|
|
Objects.requireNonNull(logger);
|