Add new Easy_domain env defaults
authorAdam Chlipala <adamc@hcoop.net>
Sun, 24 Feb 2008 21:32:44 +0000 (21:32 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 24 Feb 2008 21:32:44 +0000 (21:32 +0000)
src/plugins/easy_domain.sml

index 70a3601..e56c293 100644 (file)
@@ -34,7 +34,11 @@ val _ = Defaults.registerDefault ("CreateWWW",
                                  (TBase "bool", dl),
                                  (fn () => (EVar "true", dl)))
 
-val _ = Defaults.registerDefault ("DefaultAlias",
+val _ = Defaults.registerDefault ("HandleMail",
+                                 (TBase "bool", dl),
+                                 (fn () => (EVar "true", dl)))
+
+val _ = Defaults.registerDefault ("AddMX",
                                  (TBase "bool", dl),
                                  (fn () => (EVar "true", dl)))