Full records for IN and MX

[hcoop/domtool2.git] / src / plugins / bind.sml

diff --git a/src/plugins/bind.sml b/src/plugins/bind.sml
index 41bc1d8..5f37520 100644 (file)
--- a/src/plugins/bind.sml
+++ b/src/plugins/bind.sml
@@ -31,15 +31,15 @@ val () = Slave.registerPreHandler (fn () => (namedChanged := false;
                                             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
@@ -49,6 +49,7 @@ datatype dns_record =
        | 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, Domain.ip e2) of
@@ -64,41 +65,52 @@ val record = fn (EApp ((EApp ((EVar "dnsA", _), 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;
@@ -116,6 +128,34 @@ fun readLine inf =
 
 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)
@@ -149,6 +189,40 @@ val () = Slave.registerFileHandler (fn fs =>
                                                       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"}
 
@@ -167,7 +241,7 @@ val () = Slave.registerFileHandler (fn fs =>
                                                       TextIO.output (outf, ".\thostmaster.");
                                                       TextIO.output (outf, #domain fs);
                                                       TextIO.output (outf, ". ( ");
-                                                      TextIO.output (outf, Int.toString 123456789);
+                                                      TextIO.output (outf, newSerial);
                                                       TextIO.output (outf, " ");
                                                       TextIO.output (outf, Int.toString rf);
                                                       TextIO.output (outf, " ");
@@ -204,4 +278,8 @@ val () = Slave.registerPostHandler
                                 fn cl => "Error reloading bind with " ^ cl)
                  else
                      ()))
+
+val () = Domain.registerResetLocal (fn () =>
+                                      ignore (OS.Process.system (Config.rm ^ " -rf /var/domtool/zones/*")))
+
 end