hcoop: disable gibran as dns server

server not quite ready

diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg
index 92e4ab2..6613fb1 100644 (file)
--- 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 = []