diff options
Diffstat (limited to 'nms-patches/PlayerSelector.patch')
| -rw-r--r-- | nms-patches/PlayerSelector.patch | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/nms-patches/PlayerSelector.patch b/nms-patches/PlayerSelector.patch index e7d05e52..a31e8db6 100644 --- a/nms-patches/PlayerSelector.patch +++ b/nms-patches/PlayerSelector.patch @@ -1,5 +1,5 @@ ---- ../work/decompile-8eb82bde//net/minecraft/server/PlayerSelector.java 2014-11-28 17:43:43.337707430 +0000 -+++ src/main/java/net/minecraft/server/PlayerSelector.java 2014-11-28 17:38:17.000000000 +0000 +--- ../work/decompile-8eb82bde//net/minecraft/server/PlayerSelector.java 2014-12-02 20:23:52.649621319 +0000 ++++ src/main/java/net/minecraft/server/PlayerSelector.java 2014-12-02 20:22:46.409622789 +0000 @@ -52,6 +52,11 @@ } @@ -12,3 +12,12 @@ Matcher matcher = PlayerSelector.a.matcher(s); if (matcher.matches() && icommandlistener.a(1, "@")) { +@@ -97,7 +102,7 @@ + if (h(map)) { + arraylist.add(icommandlistener.getWorld()); + } else { +- Collections.addAll(arraylist, MinecraftServer.getServer().worldServer); ++ arraylist.addAll(MinecraftServer.getServer().worlds); // CraftBukkit + } + + return arraylist; |