diff --git a/imperative/drivers/web.rkt b/imperative/drivers/web.rkt index 19e5b6b..818940f 100644 --- a/imperative/drivers/web.rkt +++ b/imperative/drivers/web.rkt @@ -285,6 +285,8 @@ (output-response/method conn resp (request-method req)) (when (not should-close?) (do-request))]))))) + (with-handlers ([exn:fail? (lambda (e) (values #f #f))]) (close-input-port i)) + (with-handlers ([exn:fail? (lambda (e) (values #f #f))]) (close-output-port o)) (signal-background-activity! -1)))) (define ((websocket-connection-main id ws-ch) wsc _ws-connection-state)