To Edit Server Properties
1. Click > > 
Server management. The Server Management dialog box opens.
Server management. The Server Management dialog box opens.2. Select a server that you want to edit from the list of servers.
3. Click > . The Server Property dialog box opens.
4. Change the server name, location, or workspace.
 | • You cannot change the location for the primary server. • If you change the workspace on the primary server, you must erase objects from the session. |
5. Click OK
6. Click Close in the Server Management dialog box.