From 304cfbf60caccdd0bc6713308d42310dc7ddbbb2 Mon Sep 17 00:00:00 2001 From: Paul Steckler Date: Thu, 11 Jul 2002 19:20:14 +0000 Subject: [PATCH] command-line options original commit: 7529b0dc712453c2c814ccd66a8a285d93e1b5d0 --- collects/help/help.ss | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) diff --git a/collects/help/help.ss b/collects/help/help.ss index 08ee5e2d..9bc99f04 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -1,6 +1,7 @@ (module help mzscheme (require (lib "web-server.ss" "web-server") (lib "util.ss" "web-server") + (lib "cmdline.ss") (lib "configuration.ss" "web-server") (lib "configuration-structures.ss" "web-server") "private/server.ss" @@ -8,7 +9,19 @@ (require (lib "exit.ss" "help" "servlets" "private")) - (define hd-cookie (start-help-server)) + (define launch-browser? #t) + (define external-connections? #f) + + (command-line + "help-desk" + (current-command-line-arguments) + (once-each + [("-n" "--no-browser") "Do not launch browser" + (set! launch-browser? #f)] + [("-x" "--external-connections") "Allow external connections" + (set! external-connections? #t)])) + + (define hd-cookie (start-help-server external-connections?)) (define help-desk-port (hd-cookie->port hd-cookie)) (define exit-sem (make-semaphore 0)) @@ -24,6 +37,8 @@ (close-output-port oport) (close-input-port iport)))) - (help-desk-browser hd-cookie) + (when launch-browser? + (help-desk-browser hd-cookie)) + ; wait until shutdown (semaphore-wait/enable-break exit-sem))