diff --git a/collects/help/help-desk-server.ss b/collects/help/help-desk-server.ss index 0fd3058e9a..fae07519f6 100644 --- a/collects/help/help-desk-server.ss +++ b/collects/help/help-desk-server.ss @@ -39,7 +39,8 @@ internal-host (internal-port)) (printf "Press enter to shutdown.\n") -(read-line) +(with-handlers ([exn:break? (lambda (exn) (shutdown) (exit))]) + (read-line)) (shutdown) )