the key of UserList use a lower case playername

2017-06-25 19:08:37 +08:00 · 2017-06-25 19:08:37 +08:00 · 93dbb7cca5
commit 93dbb7cca5
parent a80d0e32f8
1 changed files with 11 additions and 1 deletions
--- a/patches/net/minecraft/server/management/UserList.java.patch
+++ b/patches/net/minecraft/server/management/UserList.java.patch
@ -1,6 +1,16 @@
 --- ../src-base/minecraft/net/minecraft/server/management/UserList.java
 +++ ../src-work/minecraft/net/minecraft/server/management/UserList.java
-@@ -184,6 +184,12 @@
+@@ -119,6 +119,9 @@
+ 
+     protected String func_152681_a(Object p_152681_1_)
+     {
+        if(p_152681_1_ instanceof com.mojang.authlib.GameProfile){
+            return ((com.mojang.authlib.GameProfile)p_152681_1_).getName().toLowerCase();
+        }
+         return p_152681_1_.toString();
+     }
+ 
+@@ -184,6 +187,12 @@
         return this.field_152696_d.size() < 1;
     }