From 4515633d50d8a1eff5bb0bedf9eedb831e7ab211 Mon Sep 17 00:00:00 2001
From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Wed, 21 Oct 2015 23:12:05 -0400
Subject: [PATCH] hcoop: update library defaults

deleuze is no more
---
 lib/defaults.dtl    | 4 ++--
 lib/domain.dtl      | 2 +-
 lib/easy_domain.dtl | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/defaults.dtl b/lib/defaults.dtl
index a4a10f4..039d4c7 100644
--- a/lib/defaults.dtl
+++ b/lib/defaults.dtl
@@ -27,7 +27,7 @@ val defaultExpiry : int = 1209600;
 val defaultMinimum : int = 3600;
 
 val dnsMasterNode : master = (internalMaster "fritz");
-val dnsSlaveNodes : [dns_node] = ["outpost", "deleuze"];
+val dnsSlaveNodes : [dns_node] = ["outpost"];
 
 var DNS : dnsKind =  useDns (soa defaultNs serialAuto defaultRefresh defaultRetry defaultExpiry defaultMinimum) dnsMasterNode dnsSlaveNodes;
 var TTL : int = defaultTTL;
@@ -40,7 +40,7 @@ var DefaultAliasSource : aliasSource = userSource defaultMailUser;
 var HandleMail : bool = true;
 var AddMX : bool = true;
 
-var MailNodes : [mail_node] = ["deleuze"];
+var MailNodes : [mail_node] = ["mccarthy"];
 
 var MailManPlaces : [mailman_place] = [mailman_place_default mailman_node];
 
diff --git a/lib/domain.dtl b/lib/domain.dtl
index 08606a6..1077991 100644
--- a/lib/domain.dtl
+++ b/lib/domain.dtl
@@ -66,7 +66,7 @@ extern type soa;
 {{DNS start-of-authority record}}
 extern val soa : domain -> serial -> int -> int -> int -> int -> soa;
 
-val defaultSoa = soa "deleuze.hcoop.net" serialAuto 86400 1800 1209600 3600;
+val defaultSoa = soa "fritz.hcoop.net" serialAuto 86400 1800 1209600 3600;
 
 extern type dns_node;
 {{A node offering DNS services}}
diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl
index c33a47d..61ae8f8 100644
--- a/lib/easy_domain.dtl
+++ b/lib/easy_domain.dtl
@@ -76,7 +76,7 @@ val dom =
 
     amx : bool <- AddMX;
     if amx then
-      dns (dnsMX 1 "mail.hcoop.net")
+      dns (dnsMX 1 "mail.hcoop.net");
     else
       Skip
     end;
-- 
2.20.1