From 3530b2101e0535aed09619560143734ad1df7d39 Mon Sep 17 00:00:00 2001 From: Paul Steckler Date: Tue, 16 Jul 2002 21:04:15 +0000 Subject: [PATCH] Trap browser errors original commit: 142c06bf4a09ac8e9a7b4a65095e77ddf7d16059 --- collects/help/help.ss | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/collects/help/help.ss b/collects/help/help.ss index 7157626d..38a6b3bd 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -39,9 +39,20 @@ (wait-for-connection help-desk-port) (when launch-browser? - (help-desk-browser hd-cookie) - ; allow browser startup time - (sleep 2)) + (with-handlers + ([void + (lambda _ + (message-box + "Help Desk" + (format + (string-append + "Unable to start a browser. " + "Manually start a browser and use the URL " + "http://127.0.0.1:~a/servlets/home.ss.") + (hd-cookie->port hd-cookie))))]) + (help-desk-browser hd-cookie) + ; allow browser startup time + (sleep 2))) (if quiet? (semaphore-wait (make-semaphore 0))