val web = webAt web_node;
-val addDefaultAlias = begin
+val webAtIp =
+ \ ip : (your_ip) ->
+ \ host : (host) ->
+ \\ config : Vhost -> begin
+ dns (dnsA host (your_ip_to_ip ip));
+
+ vhost host where
+ WebPlaces = [web_place web_node ip]
+ with
+ config
+ end
+ end;
+
+val catchAllAlias = \ mailbox -> aliasPrim catchAllSource (addressTarget mailbox);
+
+val addCatchAllAlias = begin
mailbox <- Mailbox;
- defaultAlias mailbox
+ catchAllAlias mailbox
end;
val addWww = begin
\\ config : Domain ->
domNoWwwNoDefaultAlias d with
config;
- addDefaultAlias;
+ addCatchAllAlias;
end;
val dom =
\\ config : Domain ->
domNoDefaultAlias d with
config;
- addDefaultAlias;
+ addCatchAllAlias;
end;
val nameserver = \host -> dns (dnsNS host);