October 2007
5
Click Edit.
Result: The Server Properties window appears.
6
In the Server Name box, change or type the name of the external Web
server.
7
In the Server Port box, change the port number of the server as required.
The default server port is 8080.
8
Click Save.
Result: A warning appears describing potential errors for changing this
server. Click OK to accept.
9
Click Close to close the Server Settings window.
Installation and Maintenance Guide
Configuring Web communications settings
1147