From 6f79ca5c54d30d04803143975757713a01bf4e35 Mon Sep 17 00:00:00 2001
From: Nathan Adams <dinnerbone@dinnerbone.com>
Date: Thu, 1 Dec 2011 22:35:19 +0000
Subject: [PATCH] Don't disconnect a player if they're already disconnected
 (fixes BUKKIT-43)

---
 .../java/net/minecraft/server/ServerConfigurationManager.java   | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main/java/net/minecraft/server/ServerConfigurationManager.java b/src/main/java/net/minecraft/server/ServerConfigurationManager.java
index fab569a0ce..4a0c61e731 100644
--- a/src/main/java/net/minecraft/server/ServerConfigurationManager.java
+++ b/src/main/java/net/minecraft/server/ServerConfigurationManager.java
@@ -152,6 +152,8 @@ public class ServerConfigurationManager {
     }
 
     public String disconnect(EntityPlayer entityplayer) { // CraftBukkit - changed return type
+        if (entityplayer.netServerHandler.disconnected) return null; // CraftBukkit - exploitsies fix
+
         // CraftBukkit start
         // Quitting must be before we do final save of data, in case plugins need to modify it
         this.getPlayerManager(entityplayer.dimension).removePlayer(entityplayer);