HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
lib: add AAAA record for mailman hosts
[hcoop/domtool2.git]
/
lib
/
mailman.dtl
diff --git
a/lib/mailman.dtl
b/lib/mailman.dtl
index
115f45f
..
8de45ee
100644
(file)
--- a/
lib/mailman.dtl
+++ b/
lib/mailman.dtl
@@
-35,6
+35,7
@@
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