#1305: Don't allow Player removal via Entity#remove

This commit is contained in:
DerFrZocker 2023-11-27 19:10:53 +11:00 committed by md_5
parent 0478e0417b
commit 7580463199
No known key found for this signature in database
GPG Key ID: E8E901AC7C617C11

View File

@ -206,6 +206,12 @@ public class CraftPlayer extends CraftHumanEntity implements Player {
return getHandle().getGameProfile(); return getHandle().getGameProfile();
} }
@Override
public void remove() {
// 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.", getName()));
}
@Override @Override
public boolean isOp() { public boolean isOp() {
return server.getHandle().isOp(getProfile()); return server.getHandle().isOp(getProfile());