From ab6352a17db68f3193b1e45af7210c0455ad77c4 Mon Sep 17 00:00:00 2001
From: zeeZ <zeeZinator+github@gmail.com>
Date: Mon, 11 Apr 2011 02:40:03 +0200
Subject: [PATCH] Hidden players stored in lowercase.

---
 src/main/java/org/dynmap/PlayerList.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/main/java/org/dynmap/PlayerList.java b/src/main/java/org/dynmap/PlayerList.java
index 62e69118..bccccd6d 100644
--- a/src/main/java/org/dynmap/PlayerList.java
+++ b/src/main/java/org/dynmap/PlayerList.java
@@ -53,12 +53,12 @@ public class PlayerList {
     }
 
     public void hide(String playerName) {
-        hiddenPlayerNames.add(playerName);
+        hiddenPlayerNames.add(playerName.toLowerCase());
         save();
     }
 
     public void show(String playerName) {
-        hiddenPlayerNames.remove(playerName);
+        hiddenPlayerNames.remove(playerName.toLowerCase());
         save();
     }
 
@@ -75,7 +75,7 @@ public class PlayerList {
         Player[] onlinePlayers = server.getOnlinePlayers();
         for (int i = 0; i < onlinePlayers.length; 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);
             }
         }
@@ -89,7 +89,7 @@ public class PlayerList {
         Player[] onlinePlayers = server.getOnlinePlayers();
         for (int i = 0; i < onlinePlayers.length; i++) {
             Player p = onlinePlayers[i];
-            if (!hiddenPlayerNames.contains(p.getName())) {
+            if (!hiddenPlayerNames.contains(p.getName().toLowerCase())) {
                 visiblePlayers.add(p);
             }
         }