From b3cab94ce50ce0d5db660c166547d04f1c7a5e03 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 24 Feb 2008 21:40:26 +0000 Subject: [PATCH] Tweakier dom --- lib/easy_domain.dtl | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index ee223f2..db27d29 100644 --- a/lib/easy_domain.dtl +++ b/lib/easy_domain.dtl @@ -53,8 +53,19 @@ val dom = dns (dnsA default (ip_of_node (web_node_to_node web_node))); - handleMail; - dns (dnsMX 1 "deleuze.hcoop.net"); + hmail : bool <- HandleMail; + if hmail then + handleMail + else + Skip + end; + + amx : bool <- AddMX; + if amx then + dns (dnsMX 1 "deleuze.hcoop.net") + else + Skip + end; createWWW : bool <- CreateWWW; if createWWW then -- 2.20.1