diff --git a/collects/help/help.ss b/collects/help/help.ss index 9efab3b0..f1990406 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -46,8 +46,6 @@ (when launch-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?)))