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
| CNAME of string * string
| MX of int * string
| NS of string
+ | DefaultA of string
val record = fn (EApp ((EApp ((EVar "dnsA", _), e1), _), e2), _) =>
- (case (Env.string e1, Env.string e2) of
+ (case (Env.string e1, Domain.ip e2) of
(SOME v1, SOME v2) => SOME (A (v1, v2))
| _ => NONE)
| (EApp ((EApp ((EVar "dnsCNAME", _), e1), _), e2), _) =>
| _ => NONE)
| (EApp ((EVar "dnsNS", _), e), _) =>
Option.map NS (Env.string e)
+ | (EApp ((EVar "dnsDefaultA", _), e), _) =>
+ Option.map DefaultA (Env.string e)
| _ => NONE
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 to;
write "\n")
+ | DefaultA to => (writeDom ();
+ write ".\t";
+ write (Int.toString ttl);
+ write "\tIN\tA\t";
+ write to;
+ write "\n")
| CNAME (from, to) => (write from;
write ".";
- write (Domain.currentDomain ());
+ writeDom ();
write ".\t";
write (Int.toString ttl);
write "\tIN\tCNAME\t";
write to;
write ".\n")
- | MX (num, host) => (write "\t";
+ | MX (num, host) => (writeDom ();
+ write ".\t";
write (Int.toString ttl);
write "\tIN\tMX\t";
write (Int.toString num);
write "\t";
write host;
write ".\n")
- | NS host => (write "\t";
+ | NS host => (writeDom ();
+ write ".\t";
write (Int.toString ttl);
write "\tIN\tNS\t";
write host;
fun readILine inf = valOf (Int.fromString (readLine inf))
+val monthToInt = fn Date.Jan => 1
+ | Date.Feb => 2
+ | Date.Mar => 3
+ | Date.Apr => 4
+ | Date.May => 5
+ | Date.Jun => 6
+ | Date.Jul => 7
+ | Date.Aug => 8
+ | Date.Sep => 9
+ | Date.Oct => 10
+ | Date.Nov => 11
+ | Date.Dec => 12
+
+fun padBy ch amt s =
+ if size s < amt then
+ CharVector.tabulate (amt - size s, fn _ => ch) ^ s
+ else
+ s
+
+fun dateString () =
+ let
+ val date = Date.fromTimeUniv (Time.now ())
+ in
+ padBy #"0" 4 (Int.toString (Date.year date))
+ ^ padBy #"0" 2 (Int.toString (monthToInt (Date.month date)))
+ ^ padBy #"0" 2 (Int.toString (Date.day date))
+ end
+
val () = Slave.registerFileHandler (fn fs =>
let
val {dir, file} = OS.Path.splitDirFile (#file fs)
fun dnsChanged () =
if #domain fs = !didDomain then
()
- else if #action fs = Slave.Delete then
+ else if Slave.isDelete (#action fs) then
let
val fname = OS.Path.joinBaseExt {base = #domain fs,
ext = SOME "zone"}
val fname = OS.Path.joinDirFile {dir = Config.Bind.zonePath,
file = fname}
in
- OS.FileSys.remove fname
+ Slave.shellF ([Config.rm, " -f ", fname],
+ fn cl => "Error deleting file: " ^ cl)
end
else
let
val min = readILine inf
val () = TextIO.closeIn inf
+ val serialPath = OS.Path.joinDirFile {dir = Config.serialDir,
+ file = #domain fs}
+
+ val oldSerial = let
+ val inf = TextIO.openIn serialPath
+ in
+ SOME (readLine inf)
+ before TextIO.closeIn inf
+ end handle IO.Io {name, ...} => NONE
+
+ val newSerial =
+ case serial of
+ SOME n => Int.toString n
+ | NONE =>
+ let
+ val prefix = dateString ()
+ in
+ prefix
+ ^ (case oldSerial of
+ NONE => "00"
+ | SOME old =>
+ if size old >= 8 andalso
+ String.substring (old, 0, 8) = prefix then
+ case Int.fromString (String.extract (old, 8, NONE)) of
+ NONE => "00"
+ | SOME old => padBy #"0" 2 (Int.toString (old+1))
+ else
+ "00")
+ end
+
+ val outf = TextIO.openOut serialPath
+ val _ = TextIO.output (outf, newSerial)
+ val _ = TextIO.closeOut outf
+
val dns = OS.Path.joinDirFile {dir = #dir fs,
file = "dns"}
TextIO.output (outf, ns);
TextIO.output (outf, ".\thostmaster.");
TextIO.output (outf, #domain fs);
- TextIO.output (outf, ".\n( ");
- TextIO.output (outf, Int.toString 123456789);
+ TextIO.output (outf, ". ( ");
+ TextIO.output (outf, newSerial);
TextIO.output (outf, " ");
TextIO.output (outf, Int.toString rf);
TextIO.output (outf, " ");
TextIO.output (outf, Int.toString min);
TextIO.output (outf, " )\n\n");
TextIO.closeOut outf;
- Slave.shellF ([Config.cat, " ", dns, " >>", fname],
- fn cl => "Error concatenating file: " ^ cl);
+ if Posix.FileSys.access (dns, []) then
+ Slave.shellF ([Config.cat, " ", dns, " >>", fname],
+ fn cl => "Error concatenating file: " ^ cl)
+ else
+ ();
didDomain := #domain fs
end
in
fn cl => "Error reloading bind with " ^ cl)
else
()))
+
+val () = Domain.registerResetLocal (fn () =>
+ ignore (OS.Process.system (Config.rm ^ " -rf /var/domtool/zones/*")))
+
+val () = Domain.registerDescriber (Domain.considerAll
+ [Domain.Filename {filename = "named.conf",
+ heading = "named.conf addition",
+ showEmpty = false},
+ Domain.Filename {filename = "dns",
+ heading = "DNS zonefile contents",
+ showEmpty = false}])
+
end