X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a51387b870b88439f6d75ead15c22281dd5e4bff..64c04e02c688e696b0c3a7a0eb7fd70e2501e9c2:/lib/easy_domain.dtl diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 60295b2..c33a47d 100644 --- a/lib/easy_domain.dtl +++ b/lib/easy_domain.dtl @@ -1,9 +1,11 @@ {{The most common kinds of domain configuration}} -val default_node : (node) = "navajos"; val web_node : (web_node) = "navajos"; +val default_node : (node) = web_node_to_node web_node; val web_ip = ip_of_node (web_node_to_node web_node); +var WebPlaces = [web_place_default web_node]; + val webAt = \ n : (web_node) -> \ host : (host) -> @@ -37,7 +39,8 @@ val webAtIp = val addDefaultAlias = begin mailbox <- Mailbox; - defaultAlias mailbox + source <- DefaultAliasSource; + aliasPrim source (addressTarget mailbox) end; val addWww = begin