Changeset 13898 in genesis

Timestamp:

Jun 3, 2017, 2:27:12 AM (8 years ago)

Author:

huub

Message:

DNS server master no longer exists, renaming to new one.

File:

• tools/gformat.py (modified) (1 diff)

tools/gformat.py

@@ -1640 +1640 @@
     dns_masters = ['siteview.wirelessleiden.nl', 'ns1.vanderzwet.net']
   else:
-    dns_masters = ['sunny.wleiden.net'] + ["%s.wleiden.net" % x[1] for x in get_nameservers(max_servers=3)]
+    dns_masters = ['druif.wleiden.net'] + ["%s.wleiden.net" % x[1] for x in get_nameservers(max_servers=3)]
 
   details['master'] = dns_masters[0]