handle the disconnection of the clients

when a client disconnects, we must not try to send him a message since
its socket is destroyed.

However, a race condition can still probably occur if a client is
disconnected during the handling of a request which leads to a
notification.

Signed-off-by: Olivier Gayot <duskcoder@gmail.com>

1 files changed, 1 insertions, 1 deletions

diff --git a/server.py b/server.py
index cdd8abf..9a9e75a 100755
--- a/server.py
+++ b/server.py
@@ -13,7 +13,7 @@ def new_client_handler(client, server):
     client['cao_client'] = CAO_Client.CAO_Client(server, client, game_manager)
 
 def client_left_handler(client, server):
-    pass
+    client['cao_client'].disconnect();
 
 def message_received_handler(client, server, message):
     try: