No need for quotes on server identifier
authorJamie Cameron <jcameron@webmin.com>
Wed, 16 May 2007 04:48:09 +0000 (04:48 +0000)
committerJamie Cameron <jcameron@webmin.com>
Wed, 16 May 2007 04:48:09 +0000 (04:48 +0000)
dhcpd/save_options.cgi

index 113d3b2..6e8b8c1 100755 (executable)
@@ -61,7 +61,7 @@ else {
 &save_option("netbios-scope", 3, $client, $indent);
 &save_option("netbios-node-type", 1, $client, $indent);
 &save_option("time-offset", 1, $client, $indent);
-&save_option("dhcp-server-identifier", 3, $client, $indent);
+&save_option("dhcp-server-identifier", 2, $client, $indent);
 &save_option("slp-directory-agent", 2, $client, $indent, 1);
 &save_option("slp-service-scope", 3, $client, $indent, 1);
 if ($in{'level'} eq "global") {