From: Adam Chlipala Date: Mon, 12 Feb 2007 03:50:22 +0000 (+0000) Subject: Back to generating localhost soa file but not zone data X-Git-Tag: release_2010-11-19~261 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/e2359100bb0efe3fa95b4fd84af422de9007c831 Back to generating localhost soa file but not zone data --- diff --git a/src/domain.sml b/src/domain.sml index 0f1b1fc..cbb7434 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -487,31 +487,29 @@ val _ = Env.containerV_one "domain" currentPath := (fn site => path (Config.tmpDir, site))) fun saveSoa (kind, soa : soa) node = - if dom = "localhost" then - () - else let - val outf = domainFile {node = node, name = "soa"} - in - TextIO.output (outf, kind); - TextIO.output (outf, "\n"); - TextIO.output (outf, Int.toString ttl); - TextIO.output (outf, "\n"); - TextIO.output (outf, #ns soa); - TextIO.output (outf, "\n"); - case #serial soa of - NONE => () - | SOME n => TextIO.output (outf, Int.toString n); - TextIO.output (outf, "\n"); - TextIO.output (outf, Int.toString (#ref soa)); - TextIO.output (outf, "\n"); - TextIO.output (outf, Int.toString (#ret soa)); - TextIO.output (outf, "\n"); - TextIO.output (outf, Int.toString (#exp soa)); - TextIO.output (outf, "\n"); - TextIO.output (outf, Int.toString (#min soa)); - TextIO.output (outf, "\n"); - TextIO.closeOut outf - end + let + val outf = domainFile {node = node, name = "soa"} + in + TextIO.output (outf, kind); + TextIO.output (outf, "\n"); + TextIO.output (outf, Int.toString ttl); + TextIO.output (outf, "\n"); + TextIO.output (outf, #ns soa); + TextIO.output (outf, "\n"); + case #serial soa of + NONE => () + | SOME n => TextIO.output (outf, Int.toString n); + TextIO.output (outf, "\n"); + TextIO.output (outf, Int.toString (#ref soa)); + TextIO.output (outf, "\n"); + TextIO.output (outf, Int.toString (#ret soa)); + TextIO.output (outf, "\n"); + TextIO.output (outf, Int.toString (#exp soa)); + TextIO.output (outf, "\n"); + TextIO.output (outf, Int.toString (#min soa)); + TextIO.output (outf, "\n"); + TextIO.closeOut outf + end fun saveNamed (kind, soa : soa, masterIp) node = if dom = "localhost" then