Easy_domain: Use DefaultAliasSource for DefaultAlias
[hcoop/domtool2.git] / src / plugins / easy_domain.sml
index 24aa83f..fafe4d5 100644 (file)
@@ -1,5 +1,6 @@
 (* HCoop Domtool (http://hcoop.sourceforge.net/)
  * Copyright (c) 2007, Adam Chlipala
+ * Copyright (c) 2014  Clinton Ebadi <clinton@unknownlamer.org>
  *
  * 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 () => (EApp ((EVar "defaultSource", dl), (EString (Domain.getUser ()), dl)), 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