X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b5f2d506092c97a597d8f275776dcb76c2525796..9508dec7476457717d3606f868783e90ebc2d653:/lib/mailman.dtl
diff --git a/lib/mailman.dtl b/lib/mailman.dtl
index 2e8029e..e1a8fbf 100644
--- a/lib/mailman.dtl
+++ b/lib/mailman.dtl
@@ -15,16 +15,19 @@ extern val mailman_node_to_node : mailman_node -> node;
extern type mailman_place;
extern val mailman_place_default : mailman_node -> mailman_place;
-extern val mailman_place : mailman_node -> your_ip -> mailman_place;
+extern val mailman_place : mailman_node -> your_ip -> your_ipv6 -> mailman_place;
extern val mailman_place_to_web_node : mailman_place -> web_node;
extern val mailman_place_to_node : mailman_place -> node;
extern val mailman_place_to_ip : mailman_place -> ip;
+extern val mailman_place_to_ipv6 : mailman_place -> ipv6;
{{Analogous to web_place, but based on mailman_nodes}}
extern val mailmanVhost : host -> [Domain]
- {MailmanPlaces : [mailman_place],
- SSL : ssl,
- User : your_user};
+ {MailmanPlaces : [mailman_place],
+ SSL : ssl,
+ MailmanForceSSL : bool,
+ User : your_user,
+ ServerAdmin : email};
{{Create an Apache virtual host to serve as the web interface for some Mailman
lists.}}
@@ -33,11 +36,11 @@ val mailman = \ host : (host) -> begin
domainHost host;
in
dnsIP host (ip_of_node (mailman_node_to_node mailman_node));
+ dnsIPv6 host (ipv6_of_node (mailman_node_to_node mailman_node));
mwh <- Hostname;
mailmanWebHost mwh;
mailmanVhost host where
MailmanPlaces = [mailman_place_default mailman_node];
- SSL = no_ssl
end
end
end;