X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b7e03b47913508f367df7870cf4d58b9e899c1cf..e140629ff492a6440c7b0d892d27ed443a2f9cd9:/src/plugins/easy_domain.sml diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml index 24aa83f..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 @@ -30,4 +31,32 @@ val _ = Defaults.registerDefault ("WWW", 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