commit 2d9cb67e593c9fe317be29c00a999ae2b21dd18f
parent c67d9ebdd7310d9ab94742f65d3ae4add8bba355
Author: Paul Steckler <steck@stecksoft.com>
Date: Thu, 14 Nov 2002 18:43:04 +0000
..
original commit: 696062bf25ee378257a4a7a194fda517cb25ee5a
Diffstat:
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/collects/help/help.ss b/collects/help/help.ss
@@ -8,7 +8,7 @@
"private/plt-browser.ss")
(define launch-browser? #t)
- (define external-connections? #f)
+ (define remote-connections? #f)
(define iconize? #f)
(define quiet? #f)
(define port #f)
@@ -19,8 +19,8 @@
(once-each
[("-n" "--no-browser") "Do not launch browser (ignored for PLT browser)"
(set! launch-browser? #f)]
- [("-x" "--external-connections") "Allow external connections (ignored for PLT browser)"
- (set! external-connections? #t)]
+ [("-r" "--remote-connections") "Allow remote connections (ignored for PLT browser)"
+ (set! remote-connections? #t)]
[("-i" "--iconize") "Iconize the control panel"
(set! iconize? #t)]
[("-q" "--quiet") "Don't show the control panel"
@@ -34,7 +34,7 @@
(raise 'not-exact-integer))
(set! port port-val)))]))
- (define hd-cookie (start-help-server port external-connections?))
+ (define hd-cookie (start-help-server port remote-connections?))
(unless hd-cookie (exit))
(define help-desk-port (hd-cookie->port hd-cookie))