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
(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)))