original commit: c155fb9cdac2601e2c26c2acf05a2a6c18759cfe
This commit is contained in:
Paul Steckler 2002-09-27 20:48:08 +00:00
parent d8eeb4bb81
commit df6b375ca3

View File

@ -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)]