web and dom will generate AAAA records by default now.
Adapt for ipv6 changes to web_place; this makes webAtIp somewhat
awkward -- users have to be assigned both an IPv4 and IPv6 address,
and specify both.
val web_node : (web_node) = "shelob";
val default_node : (node) = web_node_to_node web_node;
val web_ip = ip_of_node (web_node_to_node web_node);
val web_node : (web_node) = "shelob";
val default_node : (node) = web_node_to_node web_node;
val web_ip = ip_of_node (web_node_to_node web_node);
+val web_ipv6 = ipv6_of_node (web_node_to_node web_node);
var WebPlaces = [web_place_default web_node];
var WebPlaces = [web_place_default web_node];
\ host : (host) ->
\\ config : Vhost -> begin
dns (dnsA (literal host) (ip_of_node (web_node_to_node n)));
\ host : (host) ->
\\ config : Vhost -> begin
dns (dnsA (literal host) (ip_of_node (web_node_to_node n)));
+ dns (dnsAAAA (literal host) (ipv6_of_node (web_node_to_node n)));
vhost host where
WebPlaces = [web_place_default n]
vhost host where
WebPlaces = [web_place_default n]
val webAtIp =
\ ip : (your_ip) ->
val webAtIp =
\ ip : (your_ip) ->
+ \ ipv6 : (your_ipv6) ->
\ host : (host) ->
\\ config : Vhost -> begin
dns (dnsA (literal host) (your_ip_to_ip ip));
\ host : (host) ->
\\ config : Vhost -> begin
dns (dnsA (literal host) (your_ip_to_ip ip));
+ dns (dnsAAAA (literal host) (your_ipv6_to_ipv6 ip));
- WebPlaces = [web_place web_node ip]
+ WebPlaces = [web_place web_node ip ipv6]
defa : bool <- DefaultA;
if defa then
defa : bool <- DefaultA;
if defa then
- dns (dnsA default (ip_of_node (web_node_to_node user_web_node)))
+ dns (dnsA default (ip_of_node (web_node_to_node user_web_node)));
+ dns (dnsAAAA default (ipv6_of_node (web_node_to_node user_web_node)))