From 942d94aba98ad4610ef258f17b073090bcd775f9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 17 May 2009 13:01:15 +0000 Subject: [PATCH] DefaultA parameter to dom --- lib/easy_domain.dtl | 7 ++++++- src/plugins/easy_domain.sml | 4 ++++ 2 files changed, 10 insertions(+), 1 deletion(-) 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))) -- 2.20.1