From 9405d572928173d33fb60376d71c5e4debb3fc89 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 20 Nov 2008 03:13:01 +0000 Subject: [PATCH] allow #f for #:listen-ip svn: r12526 --- collects/web-server/servlet-env.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/web-server/servlet-env.ss b/collects/web-server/servlet-env.ss index 52ce8f65bd..d817197aca 100644 --- a/collects/web-server/servlet-env.ss +++ b/collects/web-server/servlet-env.ss @@ -42,7 +42,7 @@ #:launch-browser? boolean? #:quit? boolean? #:banner? boolean? - #:listen-ip string? + #:listen-ip (or/c false/c string?) #:port number? #:manager manager? #:servlet-namespace (listof module-path?)