summaryrefslogtreecommitdiff
path: root/server.py
diff options
context:
space:
mode:
authorJesusaves <cpntb1@ymail.com>2020-12-31 11:29:28 -0300
committerJesusaves <cpntb1@ymail.com>2020-12-31 11:29:28 -0300
commitb480856e3a4d4667860fe996b4bd6fbe08d1be02 (patch)
treefb9d8bd13a4194ed3bf61b4d43df66782b4ddd70 /server.py
parent636f7ba1cea6ef8b6c24d936d29f7df593b32ff9 (diff)
downloadserver-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)
Diffstat (limited to 'server.py')
-rwxr-xr-xserver.py9
1 files changed, 8 insertions, 1 deletions
diff --git a/server.py b/server.py
index 663bb3b..2428183 100755
--- a/server.py
+++ b/server.py
@@ -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)