Got a weird problem. I was trying to change the IP address of a server, and go through the gui. All appears to go well, but then it never changes it. I've tried it a few times, and same thing. Tried rebooting it, nothing. Should I just use the networksetup.sh to set the network again? Gregg