diff options
| author | Nathan Adams <dinnerbone@dinnerbone.com> | 2011-12-01 22:35:19 +0000 |
|---|---|---|
| committer | Nathan Adams <dinnerbone@dinnerbone.com> | 2011-12-01 22:35:19 +0000 |
| commit | 6f79ca5c54d30d04803143975757713a01bf4e35 (patch) | |
| tree | b47b06588bc7b4c6fa3489832c768c4c625d9462 /src/main/java/net/minecraft/server/ServerConfigurationManager.java | |
| parent | 6ea3cec7622946ba8190f57d0e64a8addeb89ebd (diff) | |
| download | craftbukkit-6f79ca5c54d30d04803143975757713a01bf4e35.tar craftbukkit-6f79ca5c54d30d04803143975757713a01bf4e35.tar.gz craftbukkit-6f79ca5c54d30d04803143975757713a01bf4e35.tar.lz craftbukkit-6f79ca5c54d30d04803143975757713a01bf4e35.tar.xz craftbukkit-6f79ca5c54d30d04803143975757713a01bf4e35.zip | |
Don't disconnect a player if they're already disconnected (fixes BUKKIT-43)
Diffstat (limited to 'src/main/java/net/minecraft/server/ServerConfigurationManager.java')
| -rw-r--r-- | src/main/java/net/minecraft/server/ServerConfigurationManager.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/java/net/minecraft/server/ServerConfigurationManager.java b/src/main/java/net/minecraft/server/ServerConfigurationManager.java index fab569a0..4a0c61e7 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); |