2021-10-10 08:18:54 +11:00
|
|
|
From b86c8d6edc118964b3b8cafe68215e3e508488f2 Mon Sep 17 00:00:00 2001
|
2014-04-25 18:19:00 -04:00
|
|
|
From: drXor <mcyoungsota@gmail.com>
|
|
|
|
|
Date: Fri, 25 Apr 2014 18:17:30 -0400
|
|
|
|
|
Subject: [PATCH] Configurable UserCache cap
|
|
|
|
|
|
|
|
|
|
|
2021-03-16 09:00:00 +11:00
|
|
|
diff --git a/src/main/java/net/minecraft/server/players/UserCache.java b/src/main/java/net/minecraft/server/players/UserCache.java
|
2021-07-07 00:00:00 +10:00
|
|
|
index 8ebf2f742..a265eaead 100644
|
2021-03-16 09:00:00 +11:00
|
|
|
--- a/src/main/java/net/minecraft/server/players/UserCache.java
|
|
|
|
|
+++ b/src/main/java/net/minecraft/server/players/UserCache.java
|
2021-07-07 00:00:00 +10:00
|
|
|
@@ -269,7 +269,7 @@ public class UserCache {
|
2020-08-12 07:00:00 +10:00
|
|
|
JsonArray jsonarray = new JsonArray();
|
|
|
|
|
DateFormat dateformat = e();
|
2014-04-25 18:19:00 -04:00
|
|
|
|
2020-08-12 07:00:00 +10:00
|
|
|
- this.a(1000).forEach((usercache_usercacheentry) -> {
|
|
|
|
|
+ this.a(org.spigotmc.SpigotConfig.userCacheCap).forEach((usercache_usercacheentry) -> { // Spigot
|
|
|
|
|
jsonarray.add(a(usercache_usercacheentry, dateformat));
|
|
|
|
|
});
|
2021-06-11 15:00:00 +10:00
|
|
|
String s = this.gson.toJson(jsonarray);
|
2014-04-25 18:19:00 -04:00
|
|
|
diff --git a/src/main/java/org/spigotmc/SpigotConfig.java b/src/main/java/org/spigotmc/SpigotConfig.java
|
2021-03-16 09:00:00 +11:00
|
|
|
index ed9332449..3a4959dbb 100644
|
2014-04-25 18:19:00 -04:00
|
|
|
--- a/src/main/java/org/spigotmc/SpigotConfig.java
|
|
|
|
|
+++ b/src/main/java/org/spigotmc/SpigotConfig.java
|
2019-07-30 20:52:01 +10:00
|
|
|
@@ -314,4 +314,10 @@ public class SpigotConfig
|
2014-04-25 18:19:00 -04:00
|
|
|
replaceCommands = new HashSet<String>( (List<String>) getList( "commands.replace-commands",
|
|
|
|
|
Arrays.asList( "setblock", "summon", "testforblock", "tellraw" ) ) );
|
|
|
|
|
}
|
2016-11-17 12:41:12 +11:00
|
|
|
+
|
2014-04-25 18:19:00 -04:00
|
|
|
+ public static int userCacheCap;
|
|
|
|
|
+ private static void userCacheCap()
|
|
|
|
|
+ {
|
2014-05-23 23:07:20 +01:00
|
|
|
+ userCacheCap = getInt( "settings.user-cache-size", 1000 );
|
2014-04-25 18:19:00 -04:00
|
|
|
+ }
|
|
|
|
|
}
|
|
|
|
|
--
|
2020-05-09 18:48:11 +10:00
|
|
|
2.25.1
|
2014-04-25 18:19:00 -04:00
|
|
|
|