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)