From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 24 Feb 2008 21:40:26 +0000 (+0000)
Subject: Tweakier dom
X-Git-Tag: release_2010-11-19~47
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/b3cab94ce50ce0d5db660c166547d04f1c7a5e03?ds=sidebyside

Tweakier dom
---

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