{{The most common kinds of domain configuration}}
-val default_node : (node) = "mire";
-val web_node : (web_node) = "mire";
+val default_node : (node) = "navajos";
+val web_node : (web_node) = "navajos";
val web_ip = ip_of_node (web_node_to_node web_node);
val webAt =
val addDefaultAlias = begin
mailbox <- Mailbox;
- defaultAlias mailbox
+ source <- DefaultAliasSource;
+ aliasPrim source (addressTarget mailbox)
end;
val addWww = begin