spigot/CraftBukkit-Patches/0061-Configurable-save-on-stop-only-for-UserCache.patch

64 lines
2.5 KiB
Diff
Raw Normal View History

2023-06-08 01:30:00 +10:00
From ed6aad6ecb192c20f200094ac44ceded14504be2 Mon Sep 17 00:00:00 2001
From: drXor <mcyoungsota@gmail.com>
Date: Fri, 23 May 2014 18:05:10 -0400
Subject: [PATCH] Configurable save-on-stop-only for UserCache
diff --git a/src/main/java/net/minecraft/server/MinecraftServer.java b/src/main/java/net/minecraft/server/MinecraftServer.java
2023-06-08 01:30:00 +10:00
index 69fc9d696..3a32672af 100644
--- a/src/main/java/net/minecraft/server/MinecraftServer.java
+++ b/src/main/java/net/minecraft/server/MinecraftServer.java
2023-06-08 01:30:00 +10:00
@@ -928,6 +928,12 @@ public abstract class MinecraftServer extends IAsyncTaskHandlerReentrant<TickTas
2020-06-25 10:00:00 +10:00
} catch (IOException ioexception1) {
2021-11-22 09:00:00 +11:00
MinecraftServer.LOGGER.error("Failed to unlock level {}", this.storageSource.getLevelId(), ioexception1);
}
2016-03-01 08:33:06 +11:00
+ // Spigot start
+ if (org.spigotmc.SpigotConfig.saveUserCacheOnStopOnly) {
+ LOGGER.info("Saving usercache.json");
2021-11-22 09:00:00 +11:00
+ this.getProfileCache().save();
2016-03-01 08:33:06 +11:00
+ }
+ // Spigot end
2020-06-25 10:00:00 +10:00
}
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
index 2a6872967..1295a3340 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
@@ -127,7 +127,7 @@ public class UserCache {
2020-08-12 07:00:00 +10:00
UserCache.UserCacheEntry usercache_usercacheentry = new UserCache.UserCacheEntry(gameprofile, date);
2021-11-22 09:00:00 +11:00
this.safeAdd(usercache_usercacheentry);
- this.save();
+ if( !org.spigotmc.SpigotConfig.saveUserCacheOnStopOnly ) this.save(); // Spigot - skip saving if disabled
}
2021-11-22 09:00:00 +11:00
private long getNextOperation() {
2021-06-11 15:00:00 +10:00
@@ -159,7 +159,7 @@ public class UserCache {
}
}
2020-08-12 07:00:00 +10:00
- if (flag) {
+ if (flag && !org.spigotmc.SpigotConfig.saveUserCacheOnStopOnly) { // Spigot - skip saving if disabled
2021-11-22 09:00:00 +11:00
this.save();
2020-08-12 07:00:00 +10:00
}
diff --git a/src/main/java/org/spigotmc/SpigotConfig.java b/src/main/java/org/spigotmc/SpigotConfig.java
index 285bb7a20..3540e2daf 100644
--- a/src/main/java/org/spigotmc/SpigotConfig.java
+++ b/src/main/java/org/spigotmc/SpigotConfig.java
2019-07-30 20:52:01 +10:00
@@ -320,4 +320,10 @@ public class SpigotConfig
{
userCacheCap = getInt( "settings.user-cache-size", 1000 );
}
2016-11-17 12:41:12 +11:00
+
+ public static boolean saveUserCacheOnStopOnly;
+ private static void saveUserCacheOnStopOnly()
+ {
+ saveUserCacheOnStopOnly = getBoolean( "settings.save-user-cache-on-stop-only", false );
+ }
}
--
2023-06-08 01:30:00 +10:00
2.40.1