Updated to Minecraft 1.1

2012-01-12 23:10:13 +01:00
parent dd5ef8725c
commit 7219d4dd85
82 changed files with 1472 additions and 1687 deletions
--- 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) {