diff options
-rwxr-xr-x | server.py | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -112,9 +112,16 @@ class WebSocketConn(WebSocket): """ Called when a websocket server gets a Close frame from a client. """ - clients.remove(self) print(self.address, 'closed') stdout(self.address[0] + u' - disconnected') + + try: + clients.remove(self) + except ValueError: + pass + except: + traceback.print_exc() + if self.token != "0": try: player.clear(self.token) |