Utilizzo della finestra di dialogo Gestione server (Server Management)

Potete fare clic su File > Gestisci sessione (Manage Session) >

Gestione server (Server management) e utilizzate la finestra di dialogo Gestione server (Server Management) per gestire i server. La finestra di dialogo Gestione server (Server Management) è costituita dalle schede Server (Servers) e Cache.

Potete fare clic sulla scheda Server (Servers) per accedere alle opzioni nei menu File, Server e Workspace.

• Registra nuovo server (Register New Server) - Consente di registrare un nuovo server.

• Imposta come server principale (Set as Primary Server) - Consente di impostare il server come server principale.

• Modifica (Edit) - Consente di modificare le proprietà del server, tra cui il nome, la posizione e il workspace attivo.

• Non in linea (Work Offline) - Consente di utilizzare il workspace senza essere connessi al server.

• Nuovo (New) - Consente di creare un nuovo workspace nel server principale e di attivarlo.

◦ Workspace - Consente di attivare il workspace. È disponibile solo quando selezionate un workspace inattivo.

◦ Workspace e Imposta principale (Workspace and Set Primary) - Consente di attivare il workspace e impostare il server corrispondente come server principale. È disponibile solo se selezionate un workspace inattivo su un server secondario.

• Blocca workspace (Lock Workspace) - Consente di bloccare o sbloccare il workspace selezionato.

• Importa workspace (Import Workspace) - Consente di importare un workspace portatile.

• Esporta workspace (Export Workspace) - Consente di esportare un workspace portatile.

• Disponibile non in linea (Make Available Offline) - Rende il workspace disponibile per l'utilizzo non in linea.

Fate clic su File > Salva impostazioni con nome (Save Settings As) per salvare le impostazioni del Registro del sistema correnti del server in un file.

Nella scheda Cache sono visualizzate le seguenti informazioni: