From 1e43e34547876c7a361a76cfb4ba5f218dbd3cfb Mon Sep 17 00:00:00 2001 From: Warrior <50800980+Warriorrrr@users.noreply.github.com> Date: Wed, 22 Sep 2021 23:59:39 +0200 Subject: [PATCH] Make /party kick case insensitive (#4630) --- src/main/java/com/gmail/nossr50/datatypes/party/Party.java | 2 +- 1 file changed, 1 insertion(+), 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 index fe7b9cb91b..40c6842348 100644 --- 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) {