HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4bed259
)
Domain alias support for Mailman
author
Adam Chlipala
<adamc@hcoop.net>
Sun, 29 Apr 2007 20:58:06 +0000
(20:58 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sun, 29 Apr 2007 20:58:06 +0000
(20:58 +0000)
src/plugins/mailman.sml
patch
|
blob
|
blame
|
history
diff --git
a/src/plugins/mailman.sml
b/src/plugins/mailman.sml
index
b8925a3
..
236909c
100644
(file)
--- 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
("hostname", Env.string)
(fn host =>
let
- val
outf = Domain.domain
File {node = Config.Mailman.node,
- name = "mailman"}
+ val
{write, writeDom, close} = Domain.domains
File {node = Config.Mailman.node,
+
name = "mailman"}
in
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
end)
val mailmanChanged = ref false