From 3af11fe69bf5f83cf12f5a37855faa8c81025b34 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 19 Nov 2007 01:10:29 +0000 Subject: [PATCH] Generate right Mailman vhost name --- src/plugins/mailman.sml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/plugins/mailman.sml b/src/plugins/mailman.sml index 4a00074..b716cbd 100644 --- a/src/plugins/mailman.sml +++ b/src/plugins/mailman.sml @@ -110,7 +110,11 @@ val () = Env.actionV_one "mailmanVhost" SOME _ => "443" | NONE => "80"); print ">\n"; - print " ServerName $LISTDOMAIN\n"; + print " ServerName "; + print host; + print "."; + print (Domain.currentDomain ()); + print "\n"; print " ServerAdmin "; print user; print "@hcoop.net\n"; -- 2.20.1