Paper/nms-patches/PlayerSelector.patch

--- ../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;
Re-enable selectors for players and the console using vanilla commands 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 @@`
Fix selectors in non-bukkit commands for command blocks 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;`