fun your_paths () = !your_pths
fun setUser user =
- (usr := Config.testUser;
+ (usr := user;
your_doms := Acl.class {user = getUser (),
class = "domain"};
your_usrs := Acl.class {user = getUser (),
(EString Config.defaultNode, dl)),
dl)
+val _ = Defaults.registerDefault ("Mailbox",
+ (TBase "email", dl),
+ (fn () => (EString (getUser ()), dl)))
+
val _ = Defaults.registerDefault ("DNS",
(TBase "dnsKind", dl),
(fn () => multiApp ((EVar "useDns", dl),
ExternalMaster of string
| InternalMaster of string
-val master = fn (EApp ((EVar "externalMaster", _), e), _) => Option.map ExternalMaster (Env.string e)
- | (EApp ((EVar "internalMaster", _), e), _) => Option.map InternalMaster (Env.string e)
+val ip = fn (EApp ((EVar "ip_of_node", _), e), _) => Option.map nodeIp (Env.string e)
+ | 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)
| _ => NONE
datatype dnsKind =
TextIO.output (outf, "\" IN {\n\ttype ");
TextIO.output (outf, kind);
TextIO.output (outf, ";\n\tfile \"");
- TextIO.output (outf, Config.Bind.zonePath);
+ TextIO.output (outf, Config.Bind.zonePath_real);
TextIO.output (outf, "/");
TextIO.output (outf, dom);
TextIO.output (outf, ".zone\";\n");