Generate right Mailman vhost name

[hcoop/domtool2.git] / src / plugins / mailman.sml

diff --git a/src/plugins/mailman.sml b/src/plugins/mailman.sml
index 4a00074..b716cbd 100644 (file)
--- 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";
                                        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";
                             print "    ServerAdmin ";
                             print user;
                             print "@hcoop.net\n";