From 87c346ae6d66971dcabc7dc9940efdd6e04963bb Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Fri, 22 Aug 2008 14:38:36 +0000 Subject: [PATCH] Error from Danny svn: r11387 --- collects/web-server/scribblings/faq.scrbl | 2 +- .../web-server/scribblings/tutorial/web-server-tutorial.scrbl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/web-server/scribblings/faq.scrbl b/collects/web-server/scribblings/faq.scrbl index 794f60be9d..16ee621d8d 100644 --- a/collects/web-server/scribblings/faq.scrbl +++ b/collects/web-server/scribblings/faq.scrbl @@ -88,7 +88,7 @@ scheme net/ssl-tcp-unit net/tcp-sig net/tcp-unit - web-server/web-server + (only-in web-server/web-server do-not-return) web-server/web-server-unit web-server/web-server-sig web-server/web-config-sig diff --git a/collects/web-server/scribblings/tutorial/web-server-tutorial.scrbl b/collects/web-server/scribblings/tutorial/web-server-tutorial.scrbl index c46a969eea..9451e59c22 100644 --- a/collects/web-server/scribblings/tutorial/web-server-tutorial.scrbl +++ b/collects/web-server/scribblings/tutorial/web-server-tutorial.scrbl @@ -1218,7 +1218,7 @@ scheme net/ssl-tcp-unit net/tcp-sig net/tcp-unit - web-server/web-server + (only-in web-server/web-server do-not-return) web-server/web-server-unit web-server/web-server-sig web-server/web-config-sig