From 8b84db5b0c03c7c635a4d73060f444d2ef53c757 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 9 Dec 2006 23:08:46 +0000
Subject: [PATCH] Changing default slaves

---
 configDefault/domtool.cfg | 3 +++
 configDefault/domtool.cfs | 3 +++
 src/domain.sml            | 8 +++++---
 3 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg
index c474ce5..0cc8c02 100644
--- a/configDefault/domtool.cfg
+++ b/configDefault/domtool.cfg
@@ -17,6 +17,9 @@ val defaultMinimum = 3600
 val nodeIps = [("deleuze", "69.90.123.67"), ("mire", "69.90.123.68")]
 val defaultNode = "deleuze"
 
+val masterNode = "deleuze"
+val slaveNodes = ["mire"]
+
 val aclFile = "/afs/hcoop.net/common/etc/domtool/acl"
 
 val testUser = "test"
diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs
index f1f84af..4223ed3 100644
--- a/configDefault/domtool.cfs
+++ b/configDefault/domtool.cfs
@@ -25,6 +25,9 @@ val defaultMinimum : int
 val nodeIps : (string * string) list
 val defaultNode : string
 
+val masterNode : string
+val slaveNodes : string list
+
 val aclFile : string
 (* Place to serialize ACL information *)
 
diff --git a/src/domain.sml b/src/domain.sml
index 15903a2..f2579dd 100644
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -169,9 +169,11 @@ val soaD = multiApp ((EVar "soa", dl),
 		     [nsD, serialD, refD, retD, expD, minD])
 
 val masterD = (EApp ((EVar "internalMaster", dl),
-		     (EString Config.defaultNode, dl)),
+		     (EString Config.masterNode, dl)),
 	       dl)
 
+val slavesD = (EList (map (fn s => (EString s, dl)) Config.slaveNodes), dl)
+
 val _ = Defaults.registerDefault ("Mailbox",
 				  (TBase "email", dl),
 				  (fn () => (EString (getUser ()), dl)))
@@ -180,7 +182,7 @@ val _ = Defaults.registerDefault ("DNS",
 				  (TBase "dnsKind", dl),
 				  (fn () => multiApp ((EVar "useDns", dl),
 						      dl,
-						      [soaD, masterD, (EList [], dl)])))
+						      [soaD, masterD, slavesD])))
 
 val _ = Defaults.registerDefault ("TTL",
 				  (TBase "int", dl),
@@ -225,7 +227,7 @@ val ip = fn (EApp ((EVar "ip_of_node", _), e), _) => Option.map nodeIp (Env.stri
 	  | e => Env.string e
 
 val master = fn (EApp ((EVar "externalMaster", _), e), _) => Option.map ExternalMaster (ip e)
-	      | (EApp ((EVar "internalMaster", _), e), _) => Option.map InternalMaster (ip e)
+	      | (EApp ((EVar "internalMaster", _), e), _) => Option.map InternalMaster (Env.string e)
 	      | _ => NONE
 
 datatype dnsKind =
-- 
2.20.1