From 0d902ddeafc4b0c1fa77bc68e40d4df28c0321bd Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 20 Nov 2008 15:57:42 +0000 Subject: [PATCH] Docs for r12526 svn: r12540 --- collects/web-server/scribblings/servlet-env.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/web-server/scribblings/servlet-env.scrbl b/collects/web-server/scribblings/servlet-env.scrbl index 7b93592f84..1fa4cdcca7 100644 --- a/collects/web-server/scribblings/servlet-env.scrbl +++ b/collects/web-server/scribblings/servlet-env.scrbl @@ -82,7 +82,7 @@ If you want to use @scheme[serve/servlet] in a start up script for a Web server, [#:launch-browser? launch-browser? boolean? (not command-line?)] [#:quit? quit? boolean? (not command-line?)] [#:banner? banner? boolean? (not command-line?)] - [#:listen-ip listen-ip string? "127.0.0.1"] + [#:listen-ip listen-ip (or/c false/c string?) "127.0.0.1"] [#:port port number? 8000] [#:servlet-path servlet-path string? "/servlets/standalone.ss"]