The instructions in this section assume that only the IP address of the server is changing. They do not cover changing the DNS host name of the server.