2020-05-09 18:48:11 +10:00
|
|
|
From e40ae8fef00bbe4f2582d176983ae94d3c7e1285 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
|
2020-05-09 18:48:11 +10:00
|
|
|
index 9bb232548..191542ebf 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
|
2020-01-22 08:00:00 +11:00
|
|
|
@@ -738,6 +738,12 @@ public abstract class MinecraftServer extends IAsyncTaskHandlerReentrant<TickTas
|
2018-12-13 11:00:00 +11:00
|
|
|
this.snooper.e();
|
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");
|
2018-07-15 10:00:00 +10:00
|
|
|
+ this.getUserCache().c();
|
2016-03-01 08:33:06 +11:00
|
|
|
+ }
|
|
|
|
+ // Spigot end
|
2014-05-22 09:01:33 -04:00
|
|
|
}
|
|
|
|
|
2016-03-01 08:33:06 +11:00
|
|
|
public String getServerIp() {
|
2014-05-22 09:01:33 -04:00
|
|
|
diff --git a/src/main/java/net/minecraft/server/UserCache.java b/src/main/java/net/minecraft/server/UserCache.java
|
2020-01-22 08:00:00 +11:00
|
|
|
index 077f1f944..a847f74d9 100644
|
2014-05-22 09:01:33 -04:00
|
|
|
--- a/src/main/java/net/minecraft/server/UserCache.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/UserCache.java
|
2018-12-26 08:00:00 +11:00
|
|
|
@@ -131,7 +131,7 @@ public class UserCache {
|
2016-03-01 08:33:06 +11:00
|
|
|
this.d.put(gameprofile.getName().toLowerCase(Locale.ROOT), usercache_usercacheentry);
|
|
|
|
this.e.put(uuid, usercache_usercacheentry);
|
|
|
|
this.f.addFirst(gameprofile);
|
2015-07-23 21:43:27 +01:00
|
|
|
- this.c();
|
|
|
|
+ if( !org.spigotmc.SpigotConfig.saveUserCacheOnStopOnly ) this.c(); // Spigot - skip saving if disabled
|
|
|
|
}
|
|
|
|
|
2016-05-10 21:48:25 +10:00
|
|
|
@Nullable
|
2018-12-26 08:00:00 +11:00
|
|
|
@@ -160,7 +160,7 @@ public class UserCache {
|
2014-05-22 09:01:33 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
- this.c();
|
|
|
|
+ if( !org.spigotmc.SpigotConfig.saveUserCacheOnStopOnly ) this.c(); // Spigot - skip saving if disabled
|
2015-02-28 11:36:22 +00:00
|
|
|
return usercache_usercacheentry == null ? null : usercache_usercacheentry.a();
|
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
|
2020-01-22 08:00:00 +11:00
|
|
|
index 7411fa731..865c71821 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 );
|
|
|
|
+ }
|
|
|
|
}
|
|
|
|
--
|
2020-05-09 18:48:11 +10:00
|
|
|
2.25.1
|
2014-05-22 09:01:33 -04:00
|
|
|
|