Using the Server Manager Dialog Box
You can manage servers by clicking
File >
Manage Session >
Server Manager. The
Server Manager dialog box that opens consists of the
Servers and the
Cache tabs.
The 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—Registers a new server.
• Set as Primary Server—Sets the server as a primary server.
• Edit—Edits the server properties, including its name, location, and active workspace.
• Delete—Deletes 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—Creates a new workspace on the primary server and makes it active.
• Activate
◦ Workspace—Activates the workspace. This is available only when you select an inactive workspace.
◦ Workspace and Set Primary—Activates the workspace and sets its corresponding server as a primary server. This is available only if you select an inactive workspace on a secondary server.
• Lock Workspace—Locks or unlock the selected workspace.
• Delete—Deletes a selected workspace.
• Import Workspace—Imports a portable workspace.
• Export Workspace—Exports 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