original commit: 77e5a9212e4e76382f0cadb82cf61e743927947b
This commit is contained in:
Matthew Flatt 2002-10-11 19:10:46 +00:00
parent 8a2b255fd5
commit 8754348eaf

View File

@ -35,6 +35,7 @@
(set! port port-val)))])) (set! port port-val)))]))
(define hd-cookie (start-help-server port external-connections?)) (define hd-cookie (start-help-server port external-connections?))
(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?)) (define internal-browser? (use-plt-browser?))