Catch a WebTiles server exception when deselecting "Remember me" with an invalid login token.

1 files changed, 6 insertions, 4 deletions

diff --git a/crawl-ref/source/webserver/server.py b/crawl-ref/source/webserver/server.py
index 2afed439c0..ac461bdf13 100755
--- a/crawl-ref/source/webserver/server.py
+++ b/crawl-ref/source/webserver/server.py
@@ -436,14 +436,16 @@ class CrawlWebSocket(tornado.websocket.WebSocketHandler):
             self.write_message("set_login_cookie(" +
                                tornado.escape.json_encode(cookie) + "," +
                                str(login_token_lifetime) + ");")
-            pass
 
         elif message.startswith("UnRemember: "):
             message = message[len("UnRemember: "):]
             username, _, token = message.partition(' ')
-            token = long(token)
-            if (token, username) in login_tokens:
-                del login_tokens[(token, username)]
+            try:
+                token = long(token)
+                if (token, username) in login_tokens:
+                    del login_tokens[(token, username)]
+            except ValueError:
+                return
 
         elif message.startswith("Play: "):
             if self.p or self.watched_game: return