Attempt at better error handling in websocket server

2014-08-09 22:45:09 -07:00 · 2014-08-09 22:45:09 -07:00 · f189dfdf4f
parent 7ab3f61ef9
commit f189dfdf4f
1 changed files with 4 additions and 2 deletions
--- a/minimart/drivers/websocket.rkt
+++ b/minimart/drivers/websocket.rkt
@ -90,7 +90,9 @@
 	      never-evt
 	      (handle-evt c-input-port
 			  (lambda (dummy)
-			    (define msg (ws-recv c #:payload-type 'text))
+			    (define msg
+			      (with-handlers ([exn:fail:network? (lambda (e) eof)])
+				(ws-recv c #:payload-type 'text)))
 			    (send-ground-message (websocket-incoming-message id msg))
 			    (loop (or blocked? (eof-object? msg))))))))
  (ws-close! c))