소스 검색

Make /party kick case insensitive (#4630)

Warrior 3 년 전
부모
커밋
1e43e34547
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      src/main/java/com/gmail/nossr50/datatypes/party/Party.java

+ 1 - 1
src/main/java/com/gmail/nossr50/datatypes/party/Party.java

@@ -327,7 +327,7 @@ public class Party {
     }
 
     public boolean hasMember(String memberName) {
-        return this.getMembers().containsValue(memberName);
+        return this.getMembers().values().stream().anyMatch(memberName::equalsIgnoreCase);
     }
 
     public boolean hasMember(UUID uuid) {