From df6b375ca3c54787a1d0938b90fc5567d0b47c6d Mon Sep 17 00:00:00 2001 From: Paul Steckler Date: Fri, 27 Sep 2002 20:48:08 +0000 Subject: [PATCH] .. original commit: c155fb9cdac2601e2c26c2acf05a2a6c18759cfe --- collects/help/help.ss | 23 ++++++----------------- 1 file changed, 6 insertions(+), 17 deletions(-) diff --git a/collects/help/help.ss b/collects/help/help.ss index 9f68355b..9efab3b0 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -45,23 +45,12 @@ (wait-for-connection help-desk-port)) (when launch-browser? - (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 (add1 browser-timeout)) - ; starting an external browser may have failed - ; so we may have switched to the internal browser - (set! internal-browser? (use-plt-browser?)))) + (help-desk-browser hd-cookie) + ; allow browser startup time + (sleep (add1 browser-timeout)) + ; starting an external browser may have failed + ; so we may have switched to the internal browser + (set! internal-browser? (use-plt-browser?))) (cond [internal-browser? (void)]