From: Clinton Ebadi Date: Mon, 28 Apr 2014 23:23:43 +0000 (-0400) Subject: Unify web_node/default_node, and provide a default for WebPlaces X-Git-Tag: release_20140509~13 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/733d4d6180e48eb2ae3d1e12dddd38bbdb3868a4?ds=sidebyside Unify web_node/default_node, and provide a default for WebPlaces --- diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 26f1eb7..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) ->