Make /party kick case insensitive (#4630)

mcMMO-Dev · Sep 22, 2021 · 1e43e34 · 1e43e34
1 parent 5575309
commit 1e43e34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/com/gmail/nossr50/datatypes/party/Party.java b/src/main/java/com/gmail/nossr50/datatypes/party/Party.java
@@ -327,7 +327,7 @@ public void setSharingDrops(ItemShareType shareType, boolean enabled) {
     }
 
     public boolean hasMember(String memberName) {
-        return this.getMembers().containsValue(memberName);
+        return this.getMembers().values().stream().anyMatch(memberName::equalsIgnoreCase);
     }
 
     public boolean hasMember(UUID uuid) {