X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/361a1e7f7b226811bdb8b4cc0266f34f01ac4bcd..27e20924851ac773220fbf5fb810e296a1e0ee6a:/src/domain.sml diff --git a/src/domain.sml b/src/domain.sml index 34d6d10..f22c73b 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -474,7 +474,7 @@ val _ = Env.containerV_one "domain" TextIO.output (outf, "\" IN {\n\ttype "); TextIO.output (outf, kind); TextIO.output (outf, ";\n\tfile \""); - TextIO.output (outf, Config.Bind.zonePath); + TextIO.output (outf, Config.Bind.zonePath_real); TextIO.output (outf, "/"); TextIO.output (outf, dom); TextIO.output (outf, ".zone\";\n");