HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4f9c5b5
)
Hide env variable in mailman
author
Adam Chlipala
<adamc@hcoop.net>
Sat, 17 Nov 2007 22:16:16 +0000
(22:16 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sat, 17 Nov 2007 22:16:16 +0000
(22:16 +0000)
lib/mailman.dtl
patch
|
blob
|
blame
|
history
diff --git
a/lib/mailman.dtl
b/lib/mailman.dtl
index
21e3b49
..
df935be
100644
(file)
--- a/
lib/mailman.dtl
+++ b/
lib/mailman.dtl
@@
-21,14
+21,17
@@
extern val mailmanVhost : host -> [Domain]
lists.}}
val mailman = \ host : (host) -> begin
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.,
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.,