From c67d9ebdd7310d9ab94742f65d3ae4add8bba355 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 13 Nov 2002 19:12:32 +0000 Subject: [PATCH] .. original commit: 879adafe3020604208fe2815e6ce4351da31cd7e --- collects/help/help.ss | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/collects/help/help.ss b/collects/help/help.ss index c0921e47..5d7c557b 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -38,21 +38,16 @@ (unless hd-cookie (exit)) (define help-desk-port (hd-cookie->port hd-cookie)) - (define internal-browser? (use-plt-browser?)) - - (if internal-browser? + (if (use-plt-browser?) (set! launch-browser? #t) ; always launch ; allow server startup time (wait-for-connection help-desk-port)) (when launch-browser? - (help-desk-browser hd-cookie) - ; 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)) (cond - [internal-browser? (void)] + [(use-plt-browser?) (void)] [quiet? (semaphore-wait (make-semaphore 0))] [else (let* ([hd-frame%