zoneChanged := false;
didDomain := ""))
-val dns : TextIO.outstream option ref = ref NONE
+val dns : Domain.files option ref = ref NONE
val _ = Domain.registerBefore
- (fn _ => dns := Option.map (fn node => Domain.domainFile {node = node,
- name = "dns"})
+ (fn _ => dns := Option.map (fn node => Domain.domainsFile {node = node,
+ name = "dns"})
(Domain.dnsMaster ()))
val _ = Domain.registerAfter
- (fn _ => (Option.app TextIO.closeOut (!dns);
+ (fn _ => (Option.app (fn files => #close files ()) (!dns);
dns := NONE))
val dl = ErrorMsg.dummyLoc
fun writeRecord (evs, r) =
case !dns of
NONE => print "Warning: DNS directive ignored because no master DNS server is configured for this domain\n"
- | SOME file =>
+ | SOME files =>
let
- fun write s = TextIO.output (file, s)
+ fun write s = #write files s
+ fun writeDom () = #writeDom files ()
val ttl = Env.env Env.int (evs, "TTL")
in
case r of
A (from, to) => (write from;
write ".";
- write (Domain.currentDomain ());
+ writeDom ();
write ".\t";
write (Int.toString ttl);
write "\tIN\tA\t";
write "\n")
| CNAME (from, to) => (write from;
write ".";
- write (Domain.currentDomain ());
+ writeDom ();
write ".\t";
write (Int.toString ttl);
write "\tIN\tCNAME\t";