Graceful exit on breaks for Help Desk Server.

svn: r7249
2007-09-01 16:02:05 +00:00 · 2007-09-01 16:02:05 +00:00 · 588be4e4cf
commit 588be4e4cf
parent bc90208be1
1 changed files with 2 additions and 1 deletions
--- 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)

 )