From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 17 May 2009 13:01:15 +0000 (+0000)
Subject: DefaultA parameter to dom
X-Git-Tag: release_2010-11-19~10
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/942d94aba98ad4610ef258f17b073090bcd775f9

DefaultA parameter to dom
---

diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl
index d284f16..4b9989b 100644
--- a/lib/easy_domain.dtl
+++ b/lib/easy_domain.dtl
@@ -52,7 +52,12 @@ val dom =
     dns (dnsNS "ns1.hcoop.net");
     dns (dnsNS "ns2.hcoop.net");
 
-    dns (dnsA default (ip_of_node (web_node_to_node web_node)));
+    defa : bool <- DefaultA;
+    if defa then
+      dns (dnsA default (ip_of_node (web_node_to_node web_node)))
+    else
+      Skip
+    end;
 
     hmail : bool <- HandleMail;
     if hmail then
diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml
index 8a982ad..fee0689 100644
--- a/src/plugins/easy_domain.sml
+++ b/src/plugins/easy_domain.sml
@@ -34,6 +34,10 @@ 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)))