From: Clinton Ebadi Date: Thu, 6 Dec 2018 05:40:17 +0000 (-0500) Subject: hcoop: set default web node to shelob X-Git-Tag: release_20181209~3 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/4dffd36fe8b705ad114586203569384ea4b87768?hp=240366c516e562872a75086e53ec60d3638927a9 hcoop: set default web node to shelob --- diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 0f05a7c..5335fbe 100644 --- a/lib/easy_domain.dtl +++ b/lib/easy_domain.dtl @@ -1,6 +1,6 @@ {{The most common kinds of domain configuration}} -val web_node : (web_node) = "navajos"; +val web_node : (web_node) = "shelob"; val default_node : (node) = web_node_to_node web_node; val web_ip = ip_of_node (web_node_to_node web_node);