2020-01-22 08:00:00 +11:00
|
|
|
From d86a4e60380caa1092fbd203ca67cd7a70dfdce7 Mon Sep 17 00:00:00 2001
|
2014-04-12 14:18:37 +10:00
|
|
|
From: Tux <write@imaginarycode.com>
|
|
|
|
Date: Sun, 9 Feb 2014 14:03:03 -0500
|
|
|
|
Subject: [PATCH] Add support for fetching hidden players
|
|
|
|
|
|
|
|
|
|
|
|
diff --git a/src/main/java/org/bukkit/craftbukkit/entity/CraftPlayer.java b/src/main/java/org/bukkit/craftbukkit/entity/CraftPlayer.java
|
2020-01-22 08:00:00 +11:00
|
|
|
index 2bd88cc77..2bc30ec5d 100644
|
2014-04-12 14:18:37 +10:00
|
|
|
--- a/src/main/java/org/bukkit/craftbukkit/entity/CraftPlayer.java
|
|
|
|
+++ b/src/main/java/org/bukkit/craftbukkit/entity/CraftPlayer.java
|
2020-01-22 08:00:00 +11:00
|
|
|
@@ -1699,6 +1699,18 @@ public class CraftPlayer extends CraftHumanEntity implements Player {
|
2019-12-11 09:00:00 +11:00
|
|
|
server.getServer().getPlayerList().moveToWorld( getHandle(), net.minecraft.server.DimensionManager.OVERWORLD, false );
|
|
|
|
}
|
2014-04-12 14:18:37 +10:00
|
|
|
}
|
|
|
|
+
|
|
|
|
+ @Override
|
|
|
|
+ public Set<Player> getHiddenPlayers()
|
|
|
|
+ {
|
2014-04-12 14:38:17 +10:00
|
|
|
+ Set<Player> ret = new HashSet<Player>();
|
2017-12-05 09:40:59 +11:00
|
|
|
+ for ( UUID u : hiddenPlayers.keySet() )
|
2014-04-12 14:38:17 +10:00
|
|
|
+ {
|
|
|
|
+ ret.add( getServer().getPlayer( u ) );
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ return java.util.Collections.unmodifiableSet( ret );
|
2014-04-12 14:18:37 +10:00
|
|
|
+ }
|
|
|
|
};
|
|
|
|
|
|
|
|
public Player.Spigot spigot()
|
|
|
|
--
|
2019-04-23 09:33:25 +10:00
|
|
|
2.20.1
|
2014-04-12 14:18:37 +10:00
|
|
|
|