The Domain Manager has changed to a new server name and IP address. What needs to be done to implement this change?