hcoop: update library defaults

deleuze is no more

diff --git a/lib/defaults.dtl b/lib/defaults.dtl
index a4a10f4..039d4c7 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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;