Index: tools/wleiden.pl
===================================================================
--- tools/wleiden.pl	(revision 4104)
+++ tools/wleiden.pl	(revision 4105)
@@ -69,5 +69,5 @@
   my $output = genHeader("#");
   $output .=
-  "option domain-name \"wLeiden.NET\";\n" .
+  "option domain-name \"$domain\";\n" .
   " \n" .
   "default-lease-time 7200;\n" .
@@ -124,8 +124,8 @@
   "options {\n" .
   "  directory \"/var/db/namedb\"\;\n" .
-  "  forwarders {\n" .
-  "    172.17.8.68;   // proxy1\n" .
-  "    172.17.143.4;  // proxy2\n" .
-  "    172.20.128.98; // proxy3\n" .
+  "  forwarders {\n";
+  foreach my $forward (@forwarder) {
+    $output .= "$forward;\n";
+  };
   "  };\n" .
   "};\n" .
@@ -174,5 +174,5 @@
   my $masterNotUsed = master_ipNotUsed();
   $output.=
-  "hostname=\"$nodetype$nodename.wLeiden.NET\"\n" .
+  "hostname=\"$nodetype$nodename.$domain\"\n" .
   "location=\"$location\"\n" .
   "\n";