From e1d04cf169c5ce33ece21dccb0543b880e72532c Mon Sep 17 00:00:00 2001
From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Wed, 18 Apr 2018 22:19:32 -0400
Subject: [PATCH 1/1] hcoop: disable gibran as dns server

server not quite ready
---
 configDefault/domtool.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg
index 92e4ab2..6613fb1 100644
--- a/configDefault/domtool.cfg
+++ b/configDefault/domtool.cfg
@@ -11,7 +11,7 @@ val nodeIps = [("fritz", "69.90.123.75"), ("navajos", "69.90.123.70"), ("bog", "
 val dispatcherName = "fritz"
 
 val dnsNodes_all = ["fritz", "outpost"]
-val dnsNodes_admin = ["gibran"]
+val dnsNodes_admin = [(*"gibran"*)]
 
 val mailNodes_all = ["mccarthy"]
 val mailNodes_admin = []
-- 
2.20.1