Mirror von
https://github.com/PaperMC/Paper.git
synchronisiert 2024-11-15 20:40:07 +01:00
12 Zeilen
526 B
Diff
12 Zeilen
526 B
Diff
--- ../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;
|