> Ok, a reboot fixed the problem. Seems weird that flushing the DNS > would fix it, especially since I changed the IP address in /etc/hosts > but live and learn... on windows, ipconfig /flushdns will do it without a reboot. On linux, restart nscd if it's installed.