From c4b8e3b55459bbc035122e8573f6f4e4521ff6bd Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 17 Nov 2007 22:16:16 +0000 Subject: [PATCH] Hide env variable in mailman --- lib/mailman.dtl | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) diff --git a/lib/mailman.dtl b/lib/mailman.dtl index 21e3b49..df935be 100644 --- a/lib/mailman.dtl +++ b/lib/mailman.dtl @@ -21,14 +21,17 @@ extern val mailmanVhost : host -> [Domain] lists.}} val mailman = \ host : (host) -> begin - dnsIP host (ip_of_node (mailman_web_node_to_node mailman_web_node)); - domainHost host; - mwh <- Hostname; - mailmanWebHost mwh; - mailmanVhost host where - MailmanWebNodes = [mailman_web_node]; - SSL = no_ssl - end; + let + domainHost host; + in + dnsIP host (ip_of_node (mailman_web_node_to_node mailman_web_node)); + mwh <- Hostname; + mailmanWebHost mwh; + mailmanVhost host where + MailmanWebNodes = [mailman_web_node]; + SSL = no_ssl + end + end end; {{The most common Mailman config, for when you want to have a virtual host of your domain dedicated to a Mailman interface. Provide the name of that host (e.g., -- 2.20.1