From 588be4e4cf408dfe88ec8f93d7752eb63b9399c8 Mon Sep 17 00:00:00 2001 From: Jens Axel Soegaard Date: Sat, 1 Sep 2007 16:02:05 +0000 Subject: [PATCH] Graceful exit on breaks for Help Desk Server. svn: r7249 --- collects/help/help-desk-server.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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) )