blob: c0b028ba7c7b302332365754cb981c18b753874f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- ../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 @@
if (h(map)) {
arraylist.add(icommandlistener.getWorld());
} else {
- Collections.addAll(arraylist, MinecraftServer.getServer().worldServer);
+ arraylist.addAll(MinecraftServer.getServer().worlds); // CraftBukkit
}
return arraylist;
|
