X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6116ccdadc2f1afadf94e52100e8578bc9e9ba02..e140629ff492a6440c7b0d892d27ed443a2f9cd9:/src/plugins/easy_domain.sml?ds=sidebyside diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml index 8a982ad..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 @@ -34,10 +35,18 @@ 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))) @@ -46,4 +55,8 @@ val _ = Defaults.registerDefault ("AddMX", (TBase "bool", dl), (fn () => (EVar "true", dl))) +val _ = Defaults.registerDefault ("DefaultWebNode", + (TBase "web_node", dl), + (fn () => (EString "navajos", dl))) + end