From 850959592e3c311f4b9330ea93d3cb0d8d3892ee Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 29 Apr 2007 20:58:06 +0000 Subject: [PATCH] Domain alias support for Mailman --- src/plugins/mailman.sml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/plugins/mailman.sml b/src/plugins/mailman.sml index b8925a3..236909c 100644 --- a/src/plugins/mailman.sml +++ b/src/plugins/mailman.sml @@ -27,15 +27,15 @@ val () = Env.action_one "mailmanWebHost" ("hostname", Env.string) (fn host => let - val outf = Domain.domainFile {node = Config.Mailman.node, - name = "mailman"} + val {write, writeDom, close} = Domain.domainsFile {node = Config.Mailman.node, + name = "mailman"} in - TextIO.output (outf, "\t'"); - TextIO.output (outf, host); - TextIO.output (outf, "' : '"); - TextIO.output (outf, Domain.currentDomain ()); - TextIO.output (outf, "',\n"); - TextIO.closeOut outf + write "\t'"; + write host; + write "' : '"; + writeDom (); + write "',\n"; + close () end) val mailmanChanged = ref false -- 2.20.1