Hidden players stored in lowercase.

This commit is contained in:
zeeZ 2011-04-11 02:40:03 +02:00
parent 631f06d091
commit ab6352a17d

View File

@ -53,12 +53,12 @@ public class PlayerList {
} }
public void hide(String playerName) { public void hide(String playerName) {
hiddenPlayerNames.add(playerName); hiddenPlayerNames.add(playerName.toLowerCase());
save(); save();
} }
public void show(String playerName) { public void show(String playerName) {
hiddenPlayerNames.remove(playerName); hiddenPlayerNames.remove(playerName.toLowerCase());
save(); save();
} }
@ -75,7 +75,7 @@ public class PlayerList {
Player[] onlinePlayers = server.getOnlinePlayers(); Player[] onlinePlayers = server.getOnlinePlayers();
for (int i = 0; i < onlinePlayers.length; i++) { for (int i = 0; i < onlinePlayers.length; i++) {
Player p = onlinePlayers[i]; Player p = onlinePlayers[i];
if (p.getWorld().getName().equals(worldName) && !hiddenPlayerNames.contains(p.getName())) { if (p.getWorld().getName().equals(worldName) && !hiddenPlayerNames.contains(p.getName().toLowerCase())) {
visiblePlayers.add(p); visiblePlayers.add(p);
} }
} }
@ -89,7 +89,7 @@ public class PlayerList {
Player[] onlinePlayers = server.getOnlinePlayers(); Player[] onlinePlayers = server.getOnlinePlayers();
for (int i = 0; i < onlinePlayers.length; i++) { for (int i = 0; i < onlinePlayers.length; i++) {
Player p = onlinePlayers[i]; Player p = onlinePlayers[i];
if (!hiddenPlayerNames.contains(p.getName())) { if (!hiddenPlayerNames.contains(p.getName().toLowerCase())) {
visiblePlayers.add(p); visiblePlayers.add(p);
} }
} }