From 4dffd36fe8b705ad114586203569384ea4b87768 Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Thu, 6 Dec 2018 00:40:17 -0500 Subject: [PATCH] hcoop: set default web node to shelob --- lib/easy_domain.dtl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); -- 2.20.1