From 025f101d09cbe798a6144cd93b65eb56a99618a0 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 16 May 2019 13:12:21 +0100 Subject: [PATCH] Disconnect websocket service on error --- syndicate/distributed/server/websocket.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/syndicate/distributed/server/websocket.rkt b/syndicate/distributed/server/websocket.rkt index be2a5da..59a986a 100644 --- a/syndicate/distributed/server/websocket.rkt +++ b/syndicate/distributed/server/websocket.rkt @@ -30,7 +30,8 @@ (error 'server-facet/websocket "Multiple packets in a single websocket message")) (!! (message-poa->server id packet))) (on (message (message-server->poa id $p)) - (send! (websocket-out id (encode p))))) + (send! (websocket-out id (encode p))) + (when (Err? p) (stop-current-facet)))) (define default-http-server-port 8000)