From 8a2b255fd5ff9e8b6422d57c451d4e74d50ad5ae Mon Sep 17 00:00:00 2001
From: Paul Steckler <steck@stecksoft.com>
Date: Mon, 30 Sep 2002 19:06:21 +0000
Subject: [PATCH] ..

original commit: 62b777937549638cf11d559fb43481282bd8f140
---
 collects/help/help.ss | 2 --
 1 file changed, 2 deletions(-)

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?)))