Fixes potential issues arising from optimizing getPlayerByUUID (#8585)

This commit is contained in:
Jake Potrebic
2022-11-24 22:22:19 -08:00
parent 9cbb983d0d
commit 86b0932a3b
3 changed files with 114 additions and 4 deletions

View File

@@ -17,7 +17,7 @@ index 0000000000000000000000000000000000000000..00000000000000000000000000000000
public class ServerLevel extends Level implements WorldGenLevel {
@@ -0,0 +0,0 @@ public class ServerLevel extends Level implements WorldGenLevel {
return this.getServer().getPlayerList().getPlayer(uuid);
return player != null && player.level == this ? player : null;
}
// Paper end
+ public final ReferenceOpenHashSet<ServerPlayer> pendingLogin = new ReferenceOpenHashSet<>(); // Paper