diff options
author | Jesusaves <cpntb1@ymail.com> | 2020-12-31 11:29:28 -0300 |
---|---|---|
committer | Jesusaves <cpntb1@ymail.com> | 2020-12-31 11:29:28 -0300 |
commit | b480856e3a4d4667860fe996b4bd6fbe08d1be02 (patch) | |
tree | fb9d8bd13a4194ed3bf61b4d43df66782b4ddd70 | |
parent | 636f7ba1cea6ef8b6c24d936d29f7df593b32ff9 (diff) | |
download | server-b480856e3a4d4667860fe996b4bd6fbe08d1be02.tar.gz server-b480856e3a4d4667860fe996b4bd6fbe08d1be02.tar.bz2 server-b480856e3a4d4667860fe996b4bd6fbe08d1be02.tar.xz server-b480856e3a4d4667860fe996b4bd6fbe08d1be02.zip |
Fail silently if when closing a socket the client is not in the list.
(Usually, connection dropped before registration)
-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) |