2014-12-11 21:05:48 +01:00
|
|
|
--- ../work/decompile-8eb82bde/net/minecraft/server/PlayerSelector.java 2014-12-11 20:04:51.273619960 +0000
|
|
|
|
|
+++ src/main/java/net/minecraft/server/PlayerSelector.java 2014-12-11 20:03:19.893620952 +0000
|
|
|
|
|
@@ -97,7 +97,7 @@
|
2014-12-02 21:24:03 +01:00
|
|
|
if (h(map)) {
|
|
|
|
|
arraylist.add(icommandlistener.getWorld());
|
|
|
|
|
} else {
|
|
|
|
|
- Collections.addAll(arraylist, MinecraftServer.getServer().worldServer);
|
|
|
|
|
+ arraylist.addAll(MinecraftServer.getServer().worlds); // CraftBukkit
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return arraylist;
|
