..
original commit: 62b777937549638cf11d559fb43481282bd8f140
This commit is contained in:
parent
df6b375ca3
commit
8a2b255fd5
|
@ -46,8 +46,6 @@
|
||||||
|
|
||||||
(when launch-browser?
|
(when launch-browser?
|
||||||
(help-desk-browser hd-cookie)
|
(help-desk-browser hd-cookie)
|
||||||
; allow browser startup time
|
|
||||||
(sleep (add1 browser-timeout))
|
|
||||||
; starting an external browser may have failed
|
; starting an external browser may have failed
|
||||||
; so we may have switched to the internal browser
|
; so we may have switched to the internal browser
|
||||||
(set! internal-browser? (use-plt-browser?)))
|
(set! internal-browser? (use-plt-browser?)))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user