Using the Server Manager Dialog Box
You can manage servers by clicking
File >
Manage Session >
Server Management. The
Server Management dialog box that opens consists of the
Servers and the
Cache tabs.
Servers Tab
You can click the Servers tab to access options on the File, Server, and the Workspace menus.
The Server menu consists of the following options:
• Register New Server—Register a new server.
• Set as Primary Server—Set the server as a primary server.
• Edit—Edit the server properties, including its name, location, and active workspace.
• Delete—Delete a server.
• Work Offline—Allows you to work with the workspace when not connected to the server.
The Workspace menu consists of the following options:
• New—Create a new workspace on the primary server and make it active.
• Activate
◦ Workspace—Activate the workspace. This is available only when you select an inactive workspace.
◦ Workspace and Set Primary—Activate the workspace and set its corresponding server as a primary server. This is available only if you select an inactive workspace on a secondary server.
• Lock Workspace—Lock or unlock the selected workspace.
• Delete—Delete a selected workspace.
• Import Workspace—Import a portable workspace.
• Export Workspace—Export a portable workspace.
• Make Available Offline—Makes the workspace ready for offline use.
The Cache Tab
The Cache tab displays the following information:
• Cache location
• Workspace cache size
• Total cache used
• Available disk space