From: Adam Chlipala <adamc@hcoop.net>
Date: Mon, 19 Nov 2007 01:10:29 +0000 (+0000)
Subject: Generate right Mailman vhost name
X-Git-Tag: release_2010-11-19~113
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/3af11fe69bf5f83cf12f5a37855faa8c81025b34?hp=834b7d572612b86e309e6a9bfeced2d0286f024e

Generate right Mailman vhost name
---

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";