2023-03-15 03:30:00 +11:00
|
|
|
From 009f3adbc60f56a412853d83bb0dcc29acd2ec8a Mon Sep 17 00:00:00 2001
|
2014-05-22 09:01:33 -04:00
|
|
|
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-03-15 03:30:00 +11:00
|
|
|
index 02bfb80d0a..83cd881454 100644
|
2014-05-22 09:01:33 -04:00
|
|
|
--- a/src/main/java/net/minecraft/server/MinecraftServer.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/MinecraftServer.java
|
2023-03-15 03:30:00 +11:00
|
|
|
@@ -930,6 +930,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);
|
2014-05-22 09:01:33 -04:00
|
|
|
}
|
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
|
|
|
|
2014-05-22 09:01:33 -04: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
|
2023-03-15 03:30:00 +11:00
|
|
|
index 2a68729679..1295a33408 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
|
2015-07-23 21:43:27 +01:00
|
|
|
}
|
|
|
|
|
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 {
|
2014-05-22 09:01:33 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
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
|
|
|
}
|
2014-05-22 09:01:33 -04:00
|
|
|
|
|
|
|
diff --git a/src/main/java/org/spigotmc/SpigotConfig.java b/src/main/java/org/spigotmc/SpigotConfig.java
|
2023-03-15 03:30:00 +11:00
|
|
|
index 285bb7a203..3540e2dafb 100644
|
2014-05-22 09:01:33 -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
|
|
|
@@ -320,4 +320,10 @@ public class SpigotConfig
|
2014-05-22 09:01:33 -04:00
|
|
|
{
|
|
|
|
userCacheCap = getInt( "settings.user-cache-size", 1000 );
|
|
|
|
}
|
2016-11-17 12:41:12 +11:00
|
|
|
+
|
2014-05-22 09:01:33 -04:00
|
|
|
+ public static boolean saveUserCacheOnStopOnly;
|
|
|
|
+ private static void saveUserCacheOnStopOnly()
|
|
|
|
+ {
|
|
|
|
+ saveUserCacheOnStopOnly = getBoolean( "settings.save-user-cache-on-stop-only", false );
|
|
|
|
+ }
|
|
|
|
}
|
|
|
|
--
|
2022-06-12 18:29:19 +10:00
|
|
|
2.34.1
|
2014-05-22 09:01:33 -04:00
|
|
|
|