$ 0 0 You should be able to change the DNS server settings on the fly without any issues. No reboot required. André