Similar to bug 1467449.
Assistant: when you edit the Radmind Server Settings and type in a new IP
of your server, it still rolls back to newserver.radmind.edu and the IP #
does NOT percolate through to the update steps, so you have to usually
type in the # at the time of update. The preference is not saved.