DefaultA parameter to dom
authorAdam Chlipala <adamc@hcoop.net>
Sun, 17 May 2009 13:01:15 +0000 (13:01 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 17 May 2009 13:01:15 +0000 (13:01 +0000)
lib/easy_domain.dtl
src/plugins/easy_domain.sml

index d284f16..4b9989b 100644 (file)
@@ -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
index 8a982ad..fee0689 100644 (file)
@@ -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)))