From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 24 Feb 2008 21:32:44 +0000 (+0000)
Subject: Add new Easy_domain env defaults
X-Git-Tag: release_2010-11-19~48
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/85d62734c708bd199f0cb5cb988a99da2c19ce05

Add new Easy_domain env defaults
---

diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml
index 70a3601..e56c293 100644
--- a/src/plugins/easy_domain.sml
+++ b/src/plugins/easy_domain.sml
@@ -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)))