October 2007
4
Click File > Save to save your changes.
Save the file without an extension so that your system recognizes the
changes.
Result: The system automatically reads the new settings.
5
Close all windows to complete the procedure.
Installation and Maintenance Guide
Change the names or IP addresses of servers
1513