2015-06-07 11:51:26 +02:00
|
|
|
--- a/net/minecraft/server/UserCache.java
|
|
|
|
+++ b/net/minecraft/server/UserCache.java
|
2018-12-25 22:00:00 +01:00
|
|
|
@@ -45,7 +45,7 @@
|
2016-02-29 22:32:46 +01: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 03:43:49 +02:00
|
|
|
- private final Deque<GameProfile> f = Lists.newLinkedList();
|
|
|
|
+ private final Deque<GameProfile> f = new java.util.concurrent.LinkedBlockingDeque<GameProfile>(); // CraftBukkit
|
2016-02-29 22:32:46 +01:00
|
|
|
private final GameProfileRepository g;
|
2015-06-07 11:51:26 +02:00
|
|
|
protected final Gson b;
|
2016-02-29 22:32:46 +01:00
|
|
|
private final File h;
|