diff options
Diffstat (limited to 'src/main/java/net/minecraft/server/PlayerManager.java')
-rw-r--r-- | src/main/java/net/minecraft/server/PlayerManager.java | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/main/java/net/minecraft/server/PlayerManager.java b/src/main/java/net/minecraft/server/PlayerManager.java index 51e5ac51..2b4f8849 100644 --- a/src/main/java/net/minecraft/server/PlayerManager.java +++ b/src/main/java/net/minecraft/server/PlayerManager.java @@ -1,10 +1,12 @@ package net.minecraft.server; import java.util.ArrayList; -import java.util.Iterator; import java.util.List; -import java.util.Queue; // CraftBukkit +// CraftBukkit start +import java.util.Queue; +import java.util.Iterator; +// CraftBukkit end public class PlayerManager { @@ -32,15 +34,15 @@ public class PlayerManager { } public void flush() { + // CraftBukkit start - use iterator Iterator iterator = this.d.iterator(); while (iterator.hasNext()) { PlayerInstance playerinstance = (PlayerInstance) iterator.next(); - playerinstance.a(); - - iterator.remove(); // CraftBukkit - remove to insure we are the consumer + iterator.remove(); } + // CraftBukkit end // this.d.clear(); // CraftBukkit - removals are already covered if (this.managedPlayers.isEmpty()) { |