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 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 = [ ]
val defaultMinimum : int = 3600;
val dnsMasterNode : master = (internalMaster "fritz");
-val dnsSlaveNodes : [dns_node] = ["outpost"];
+val dnsSlaveNodes : [dns_node] = ["outpost", "gibran"];
var DNS : dnsKind = useDns (soa defaultNs serialAuto defaultRefresh defaultRetry defaultExpiry defaultMinimum) dnsMasterNode dnsSlaveNodes;
var TTL : int = defaultTTL;