Successfully set up our new X4012 switch, including the DHCP server options so that it gives out IP addresses to devices, except for one issue:
Under Network Administration --> DHCP Server --> Edit Network Pool --> Static Host Options
the Domain Name Server field (which the online Help says corresponds to DHCP option 6) only accepts one IP address. All of the specifications I've seen for option 6 (and every other DHCP server I've used) allows multiple IP's. In most systems I've used, they get separated by commas or separate "DNS Server 1," "DNS Server 2" and "DNS Server 3" fields.
I've tried commas, spaces and all sorts of things but the field only accepts a single IP. I also tried to set it via CLI, but the X4012 doesn't seem to allow DHCP configuration via CLI?
Any help would be appreciated. Only accepting one IP eliminates redundancy from a core network service (DNS), not to mention that it makes scheduled (or unscheduled) maintenance on a DNS server into a complication instead of a trivial matter.
Anyone have a solution other than not using the DHCP server feature on the X4012?