X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8cbb96323335d1a2b42a9daac94a9d538ab93536..e140629ff492a6440c7b0d892d27ed443a2f9cd9:/src/plugins/easy_domain.sml diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml index dd8d71b..7a15dea 100644 --- a/src/plugins/easy_domain.sml +++ b/src/plugins/easy_domain.sml @@ -1,5 +1,6 @@ (* HCoop Domtool (http://hcoop.sourceforge.net/) * Copyright (c) 2007, Adam Chlipala + * Copyright (c) 2014 Clinton Ebadi * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -26,10 +27,36 @@ 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))) +val _ = Defaults.registerDefault ("CreateWWW", + (TBase "bool", dl), + (fn () => (EVar "true", dl))) + +val _ = Defaults.registerDefault ("DefaultA", + (TBase "bool", dl), + (fn () => (EVar "true", dl))) + +val _ = Defaults.registerDefault ("DefaultAlias", + (TBase "bool", dl), + (fn () => (EVar "true", dl))) + +val _ = Defaults.registerDefault ("DefaultAliasSource", + (TBase "aliasSource", dl), + (fn () => (EVar "defaultSource", dl))) + +val _ = Defaults.registerDefault ("HandleMail", + (TBase "bool", dl), + (fn () => (EVar "true", dl))) + +val _ = Defaults.registerDefault ("AddMX", + (TBase "bool", dl), + (fn () => (EVar "true", dl))) + +val _ = Defaults.registerDefault ("DefaultWebNode", + (TBase "web_node", dl), + (fn () => (EString "navajos", dl))) + end