diff --git a/collects/help/help.ss b/collects/help/help.ss index f1990406..c0921e47 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -35,6 +35,7 @@ (set! port port-val)))])) (define hd-cookie (start-help-server port external-connections?)) + (unless hd-cookie (exit)) (define help-desk-port (hd-cookie->port hd-cookie)) (define internal-browser? (use-plt-browser?))