mailman: support ssl on mailman domains

SSL only worked in mailmanVhost for lists.hcoop.net because the
default vhost happens to use the *.hcoop.net certificate.

Actually specify certificate so this works generally instead.

Continuing the tradition of duplication between vhost and mailmanVhost.

diff --git a/lib/mailman.dtl b/lib/mailman.dtl
index 8de45ee..dcfa585 100644 (file)
--- a/lib/mailman.dtl
+++ b/lib/mailman.dtl
@@ -40,7 +40,6 @@ val mailman = \ host : (host) -> begin
     mailmanWebHost mwh;
     mailmanVhost host where
       MailmanPlaces = [mailman_place_default mailman_node];
-      SSL = no_ssl
     end
   end
 end;

diff --git a/src/plugins/mailman.sml b/src/plugins/mailman.sml
index 4a2bfeb..bab7222 100644 (file)
--- a/src/plugins/mailman.sml
+++ b/src/plugins/mailman.sml
@@ -126,6 +126,12 @@ val () = Env.actionV_one "mailmanVhost"
                             print "    ServerAdmin ";
                             print sadmin;
                             print "\n";
+                            case ssl of
+                                SOME cert =>
+                                (print "\n\tSSLEngine on\n\tSSLCertificateFile ";
+                                 print cert;
+                                 print "\n")
+                              | NONE => ();
                             (*
                              print "    SuexecUserGroup list list\n";
                             print "\n";