From 5c8b4fb802400591683a958265a03bd2e2abaeec Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Sun, 9 Dec 2012 20:41:07 -0500 Subject: [PATCH] Update Easy_Domain to support trivial configuration of default node --- lib/easy_domain.dtl | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 4b9989b..2a58423 100644 --- a/lib/easy_domain.dtl +++ b/lib/easy_domain.dtl @@ -17,7 +17,10 @@ val webAt = end end; -val web = webAt web_node; +val web = \ host -> \\ config : Vhost -> begin + n <- DefaultWebNode; + webAt n host with config end; +end; val webAtIp = \ ip : (your_ip) -> @@ -52,9 +55,11 @@ val dom = dns (dnsNS "ns1.hcoop.net"); dns (dnsNS "ns2.hcoop.net"); + user_web_node <- DefaultWebNode; + defa : bool <- DefaultA; if defa then - dns (dnsA default (ip_of_node (web_node_to_node web_node))) + dns (dnsA default (ip_of_node (web_node_to_node user_web_node))) else Skip end; @@ -88,7 +93,7 @@ val dom = end; config - end; +end; val nameserver = \host -> dns (dnsNS host); val dnsIP = \from -> \to -> dns (dnsA (literal from) to); -- 2.20.1