..
original commit: 879adafe3020604208fe2815e6ce4351da31cd7e
This commit is contained in:
parent
8754348eaf
commit
c67d9ebdd7
|
@ -38,21 +38,16 @@
|
||||||
(unless hd-cookie (exit))
|
(unless hd-cookie (exit))
|
||||||
(define help-desk-port (hd-cookie->port hd-cookie))
|
(define help-desk-port (hd-cookie->port hd-cookie))
|
||||||
|
|
||||||
(define internal-browser? (use-plt-browser?))
|
(if (use-plt-browser?)
|
||||||
|
|
||||||
(if internal-browser?
|
|
||||||
(set! launch-browser? #t) ; always launch
|
(set! launch-browser? #t) ; always launch
|
||||||
; allow server startup time
|
; allow server startup time
|
||||||
(wait-for-connection help-desk-port))
|
(wait-for-connection help-desk-port))
|
||||||
|
|
||||||
(when launch-browser?
|
(when launch-browser?
|
||||||
(help-desk-browser hd-cookie)
|
(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?)))
|
|
||||||
|
|
||||||
(cond
|
(cond
|
||||||
[internal-browser? (void)]
|
[(use-plt-browser?) (void)]
|
||||||
[quiet? (semaphore-wait (make-semaphore 0))]
|
[quiet? (semaphore-wait (make-semaphore 0))]
|
||||||
[else
|
[else
|
||||||
(let* ([hd-frame%
|
(let* ([hd-frame%
|
||||||
|
|
Loading…
Reference in New Issue
Block a user