From 3c51db7d3a67d65aa3585780d395377310401bfe Mon Sep 17 00:00:00 2001
From: Jesse Luehrs <doy@tozt.net>
Date: Mon, 6 Oct 2014 15:12:19 -0400
Subject: don't die when writing a message after the websocket has closed

---
 termcast_server/web.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/termcast_server/web.py b/termcast_server/web.py
index b0a66af..8b9f9e3 100644
--- a/termcast_server/web.py
+++ b/termcast_server/web.py
@@ -42,7 +42,10 @@ class WebSocketHandler(tornado.websocket.WebSocketHandler):
             "type": "update_screen",
             "screen": screen,
         }
-        self.write_message(json.dumps(reply))
+        try:
+            self.write_message(json.dumps(reply))
+        except:
+            self.publisher.unsubscribe(self)
 
 def make_app(publisher):
     return tornado.web.Application([
-- 
cgit v1.2.3