From b7e03b47913508f367df7870cf4d58b9e899c1cf Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 11 Nov 2007 22:04:53 +0000 Subject: [PATCH] Fix type of default WWW env var --- src/plugins/easy_domain.sml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml index dd8d71b..24aa83f 100644 --- a/src/plugins/easy_domain.sml +++ b/src/plugins/easy_domain.sml @@ -26,9 +26,7 @@ val dl = ErrorMsg.dummyLoc val _ = Defaults.registerDefault ("WWW", (TAction ((CConst "Vhost", dl), - foldl (fn ((v, t, _), r) => - StringMap.insert (r, v, t)) - StringMap.empty Apache.defaults, + StringMap.empty, StringMap.empty), dl), (fn () => (ESkip, dl))) -- 2.20.1