2015-06-07 17:51:26 +08:00
|
|
|
--- a/net/minecraft/server/UserCache.java
|
|
|
|
+++ b/net/minecraft/server/UserCache.java
|
2018-12-26 05:00:00 +08:00
|
|
|
@@ -45,7 +45,7 @@
|
2016-03-01 05:32:46 +08:00
|
|
|
private static boolean c;
|
|
|
|
private final Map<String, UserCache.UserCacheEntry> d = Maps.newHashMap();
|
|
|
|
private final Map<UUID, UserCache.UserCacheEntry> e = Maps.newHashMap();
|
2016-06-09 09:43:49 +08:00
|
|
|
- private final Deque<GameProfile> f = Lists.newLinkedList();
|
|
|
|
+ private final Deque<GameProfile> f = new java.util.concurrent.LinkedBlockingDeque<GameProfile>(); // CraftBukkit
|
2016-03-01 05:32:46 +08:00
|
|
|
private final GameProfileRepository g;
|
2015-06-07 17:51:26 +08:00
|
|
|
protected final Gson b;
|
2016-03-01 05:32:46 +08:00
|
|
|
private final File h;
|