diff options
| author | Erik Broes <erikbroes@grum.nl> | 2012-01-12 23:10:13 +0100 |
|---|---|---|
| committer | Erik Broes <erikbroes@grum.nl> | 2012-01-12 23:10:13 +0100 |
| commit | 7219d4dd858b405f34ea66c67f8ab7d4c07fb4ee (patch) | |
| tree | a1ca024b03aadf4b687f442b33bf713aecd511f7 /src/main/java/net/minecraft/server/PlayerManager.java | |
| parent | dd5ef8725c699e0b2946dc0f6d523ca482404043 (diff) | |
| download | craftbukkit-7219d4dd858b405f34ea66c67f8ab7d4c07fb4ee.tar craftbukkit-7219d4dd858b405f34ea66c67f8ab7d4c07fb4ee.tar.gz craftbukkit-7219d4dd858b405f34ea66c67f8ab7d4c07fb4ee.tar.lz craftbukkit-7219d4dd858b405f34ea66c67f8ab7d4c07fb4ee.tar.xz craftbukkit-7219d4dd858b405f34ea66c67f8ab7d4c07fb4ee.zip | |
Updated to Minecraft 1.1
Diffstat (limited to 'src/main/java/net/minecraft/server/PlayerManager.java')
| -rw-r--r-- | src/main/java/net/minecraft/server/PlayerManager.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/java/net/minecraft/server/PlayerManager.java b/src/main/java/net/minecraft/server/PlayerManager.java index 434130f7..a03d4dca 100644 --- a/src/main/java/net/minecraft/server/PlayerManager.java +++ b/src/main/java/net/minecraft/server/PlayerManager.java @@ -35,6 +35,14 @@ public class PlayerManager { } this.c.clear(); + if (this.managedPlayers.isEmpty()) { + WorldServer worldserver = this.server.getWorldServer(this.e); + WorldProvider worldprovider = worldserver.worldProvider; + + if (!worldprovider.c()) { + worldserver.chunkProviderServer.c(); + } + } } private PlayerInstance a(int i, int j, boolean flag) { |