From 93dbb7cca55d5ed3465ec39e60ff4981a52b930f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E8=81=AA=E8=81=AA?= <178666380@qq.com> Date: Sun, 25 Jun 2017 19:08:37 +0800 Subject: [PATCH] the key of UserList use a lower case playername --- .../minecraft/server/management/UserList.java.patch | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/patches/net/minecraft/server/management/UserList.java.patch b/patches/net/minecraft/server/management/UserList.java.patch index ca6b34a..a7029df 100644 --- 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; }