hcoop: update minsky.hcoop.net IP address

[hcoop/domtool2.git] / configDefault / domtool.cfg

diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg
index a4f5843..a8bb8ab 100644 (file)
--- a/configDefault/domtool.cfg
+++ b/configDefault/domtool.cfg
@@ -7,11 +7,11 @@ val oldResultRoot = ConfigCore.sharedRoot ^ "/nodes.old"
 
 val domtool_publish = ConfigCore.installPrefix ^ "/sbin/domtool-publish"
 
-val nodeIps = [("fritz", "69.90.123.75"), ("navajos", "69.90.123.70"), ("bog", "69.90.123.72"), ("mccarthy", "69.90.123.73"), ("outpost", "151.236.216.192"), ("gibran", "159.203.101.102"), ("marsh", "165.227.79.103"), ("minsky", "138.197.104.192"), ("shelob", "165.227.126.167")]
+val nodeIps = [("fritz", "69.90.123.75"), ("navajos", "69.90.123.70"), ("bog", "69.90.123.72"), ("mccarthy", "69.90.123.73"), ("outpost", "151.236.216.192"), ("gibran", "159.203.101.102"), ("marsh", "165.227.79.103"), ("minsky", "159.65.167.58"), ("shelob", "165.227.126.167")]
 val dispatcherName = "fritz"
 
-val dnsNodes_all = ["fritz", "outpost"]
-val dnsNodes_admin = [(*"gibran"*)]
+val dnsNodes_all = ["fritz", "outpost", "gibran"]
+val dnsNodes_admin = []
 
 val mailNodes_all = ["mccarthy", "minsky"]
 val mailNodes_admin = [ ]