X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/15e529d64183f2116fd7455c2bc495963fba68c6..3c855c4bab81d7d4adb54724f0e08be61a55241e:/lib/easy_domain.dtl diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 6bc7ee0..3c3d4e0 100644 --- a/lib/easy_domain.dtl +++ b/lib/easy_domain.dtl @@ -1,12 +1,12 @@ {{The most common kinds of domain configuration}} -val web_node : (node) = "mire"; +val web_node : (web_node) = "mire"; val webAt = - \ n : (node) -> + \ n : (web_node) -> \ host : (host) -> \\ config : Vhost -> - (dns (dnsA host (ip_of_node n)); + (dns (dnsA host (ip_of_node (web_node_to_node n))); vhost host where WebNodes = [n]