[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)))
(TBase "dnsKind", dl),
(fn () => multiApp ((EVar "useDns", dl),
dl,
- [soaD, masterD, (EList [], dl)])))
+ [soaD, masterD, slavesD])))
val _ = Defaults.registerDefault ("TTL",
(TBase "int", dl),
| 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 =