Fix BIND syntax
[hcoop/domtool2.git] / src / plugins / bind.sml
index faa8e4e..41bc1d8 100644 (file)
@@ -51,7 +51,7 @@ datatype dns_record =
        | NS 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), _) =>
@@ -166,7 +166,7 @@ val () = Slave.registerFileHandler (fn fs =>
                                                       TextIO.output (outf, ns);
                                                       TextIO.output (outf, ".\thostmaster.");
                                                       TextIO.output (outf, #domain fs);
-                                                      TextIO.output (outf, ".\n( ");
+                                                      TextIO.output (outf, ". ( ");
                                                       TextIO.output (outf, Int.toString 123456789);
                                                       TextIO.output (outf, " ");
                                                       TextIO.output (outf, Int.toString rf);