From: Adam Chlipala Date: Sun, 11 Nov 2007 22:04:53 +0000 (+0000) Subject: Fix type of default WWW env var X-Git-Tag: release_2010-11-19~154 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/b7e03b47913508f367df7870cf4d58b9e899c1cf Fix type of default WWW env var --- 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)))