2023-12-06 18:54:52 +01:00
|
|
|
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
|
|
|
From: Zach Brown <zach@zachbr.io>
|
|
|
|
Date: Mon, 4 Feb 2019 23:33:24 -0500
|
|
|
|
Subject: [PATCH] Dont block Player#remove if the handle is a custom player
|
|
|
|
|
|
|
|
Upstream throws UOE if you try to call remove on a Player.
|
|
|
|
We just add a check to ensure that the CraftPlayer's handle
|
|
|
|
is a ServerPlayer
|
|
|
|
|
|
|
|
diff --git a/src/main/java/org/bukkit/craftbukkit/entity/CraftPlayer.java b/src/main/java/org/bukkit/craftbukkit/entity/CraftPlayer.java
|
2023-12-09 00:13:02 +01:00
|
|
|
index 6ec80e3a838f8f7479ee965561043586d64c649a..49da25428fa35a935bab2ca5a28081682284a79a 100644
|
2023-12-06 18:54:52 +01:00
|
|
|
--- a/src/main/java/org/bukkit/craftbukkit/entity/CraftPlayer.java
|
|
|
|
+++ b/src/main/java/org/bukkit/craftbukkit/entity/CraftPlayer.java
|
2023-12-09 00:13:02 +01:00
|
|
|
@@ -250,8 +250,12 @@ public class CraftPlayer extends CraftHumanEntity implements Player {
|
2023-12-06 18:54:52 +01:00
|
|
|
|
|
|
|
@Override
|
|
|
|
public void remove() {
|
|
|
|
+ if (this.getHandle().getClass().equals(ServerPlayer.class)) { // special case for NMS plugins inheriting
|
|
|
|
// Will lead to an inconsistent player state if we remove the player as any other entity.
|
|
|
|
throw new UnsupportedOperationException(String.format("Cannot remove player %s, use Player#kickPlayer(String) instead.", this.getName()));
|
|
|
|
+ } else {
|
|
|
|
+ super.remove();
|
|
|
|
+ }
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|