--- a/src/Network/Server.cc	Mon Dec 08 16:14:23 2008 +0000
+++ b/src/Network/Server.cc	Mon Dec 08 16:23:30 2008 +0000
@@ -28,9 +28,6 @@
 }
         
 void NetworkServer::handle_disconnect (NetworkServerPlayer *player) {
-    // remove from state
-    state.removePlayer(player);
-
     // remove from list
     players.remove(player);
 }