apache: add ipv6 support

[hcoop/domtool2.git] / lib / apache.dtl

diff --git a/lib/apache.dtl b/lib/apache.dtl
index feabe77..a75dd0d 100644 (file)
--- a/lib/apache.dtl
+++ b/lib/apache.dtl
@@ -7,10 +7,11 @@ extern val web_node_to_node : web_node -> node;
 
 extern type web_place;
 extern val web_place_default : web_node -> web_place;
-extern val web_place : web_node -> your_ip -> web_place;
+extern val web_place : web_node -> your_ip -> your_ipv6 -> web_place;
 extern val web_place_to_web_node : web_place -> web_node;
 extern val web_place_to_node : web_place -> node;
 extern val web_place_to_ip : web_place -> ip;
+extern val web_place_to_ipv6 : web_place -> ipv6;
 {{Web places are combinations of web nodes (servers on which you are allowed to
   run web sites) and IP addresses on which those servers should listen for
   requests.}}