From d478261f8e15f24edcb4459b72571046faaf0926 Mon Sep 17 00:00:00 2001 From: nitricspace Date: Wed, 5 Aug 2020 14:36:35 -0500 Subject: [PATCH] Hide Purpur's configurable seeds in timings reports --- .../server/0108-Configurable-end-spike-seed.patch | 15 ++++++++++++--- .../server/0109-Configurable-dungeon-seed.patch | 11 +++++++---- patches/server/0116-Populator-seed-controls.patch | 14 +++++++++++--- ...option-to-disable-mushroom-block-updates.patch | 4 ++-- 4 files changed, 32 insertions(+), 12 deletions(-) diff --git a/patches/server/0108-Configurable-end-spike-seed.patch b/patches/server/0108-Configurable-end-spike-seed.patch index 5d02dce8a..735ab877d 100644 --- a/patches/server/0108-Configurable-end-spike-seed.patch +++ b/patches/server/0108-Configurable-end-spike-seed.patch @@ -5,7 +5,7 @@ Subject: [PATCH] Configurable end spike seed diff --git a/src/main/java/net/minecraft/server/WorldGenEnder.java b/src/main/java/net/minecraft/server/WorldGenEnder.java -index 495d98e15..9df359d0b 100644 +index 495d98e154..9df359d0ba 100644 --- a/src/main/java/net/minecraft/server/WorldGenEnder.java +++ b/src/main/java/net/minecraft/server/WorldGenEnder.java @@ -23,12 +23,14 @@ public class WorldGenEnder extends WorldGenerator list = worldgenfeatureendspikeconfiguration.b(); diff --git a/src/main/java/net/pl3x/purpur/PurpurConfig.java b/src/main/java/net/pl3x/purpur/PurpurConfig.java -index 2abbc6b17..f9b382dcc 100644 +index 2abbc6b177..4c68d65f69 100644 --- a/src/main/java/net/pl3x/purpur/PurpurConfig.java +++ b/src/main/java/net/pl3x/purpur/PurpurConfig.java -@@ -142,6 +142,11 @@ public class PurpurConfig { +@@ -1,5 +1,6 @@ + package net.pl3x.purpur; + ++import co.aikar.timings.TimingsManager; + import com.google.common.base.Throwables; + import net.minecraft.server.MinecraftServer; + import net.pl3x.purpur.command.PurpurCommand; +@@ -142,6 +143,13 @@ public class PurpurConfig { cannotRideMob = getString("settings.messages.cannot-ride-mob", cannotRideMob); } + public static int endSpikeSeed = -1; + private static void seedSettings() { + endSpikeSeed = getInt("settings.seed.end-spike", endSpikeSeed); ++ TimingsManager.hiddenConfigs.add("settings.seed"); ++ TimingsManager.hiddenConfigs.add("settings.seed.end-spike"); + } + public static String serverModName = "Purpur"; diff --git a/patches/server/0109-Configurable-dungeon-seed.patch b/patches/server/0109-Configurable-dungeon-seed.patch index a6f49f066..7c4c64505 100644 --- a/patches/server/0109-Configurable-dungeon-seed.patch +++ b/patches/server/0109-Configurable-dungeon-seed.patch @@ -5,7 +5,7 @@ Subject: [PATCH] Configurable dungeon seed diff --git a/src/main/java/net/minecraft/server/WorldGenDecoratorDungeon.java b/src/main/java/net/minecraft/server/WorldGenDecoratorDungeon.java -index 70d222996..2bebbd699 100644 +index 70d2229960..2bebbd6995 100644 --- a/src/main/java/net/minecraft/server/WorldGenDecoratorDungeon.java +++ b/src/main/java/net/minecraft/server/WorldGenDecoratorDungeon.java @@ -6,6 +6,7 @@ import java.util.stream.IntStream; @@ -38,7 +38,7 @@ index 70d222996..2bebbd699 100644 return new BlockPosition(k, i1, l); }); diff --git a/src/main/java/net/minecraft/server/WorldGenDungeons.java b/src/main/java/net/minecraft/server/WorldGenDungeons.java -index 3c7c93645..1f6ff7848 100644 +index 3c7c936453..1f6ff78488 100644 --- a/src/main/java/net/minecraft/server/WorldGenDungeons.java +++ b/src/main/java/net/minecraft/server/WorldGenDungeons.java @@ -11,12 +11,21 @@ public class WorldGenDungeons extends WorldGenerator