X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/5ea8643aeccc72893077726f7cb0c1ddb09a870e..733d4d6180e48eb2ae3d1e12dddd38bbdb3868a4:/lib/easy_domain.dtl diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 99a1812..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) = "mire"; -val web_node : (web_node) = "mire"; +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