Changing default slaves
authorAdam Chlipala <adamc@hcoop.net>
Sat, 9 Dec 2006 23:08:46 +0000 (23:08 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 9 Dec 2006 23:08:46 +0000 (23:08 +0000)
configDefault/domtool.cfg
configDefault/domtool.cfs
src/domain.sml

index c474ce5..0cc8c02 100644 (file)
@@ -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"
index f1f84af..4223ed3 100644 (file)
@@ -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 *)
 
index 15903a2..f2579dd 100644 (file)
@@ -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 =