So editieren Sie Server-Eigenschaften
1. Wählen Sie die Befehlsfolge
Datei (File) >
Sitzung verwalten (Manage Session) >
Serververwaltung (Server management). Das Dialogfenster
Serververwaltung (Server Management) wird angezeigt.
2. Wählen Sie in der Liste der Server den zu editierenden Server aus.
3. Klicken Sie auf Server > Editieren (Edit). Das Dialogfenster Server-Eigenschaft (Server Property) wird angezeigt.
4. Ändern Sie den Server-Namen, Speicherort oder Workspace.
| • Der Speicherort des primären Servers kann nicht geändert werden. • Wenn Sie den Workspace auf dem primären Server ändern, müssen Sie Objekte aus der Sitzung entfernen. |
5. Klicken Sie auf OK.
6. Klicken Sie im Dialogfenster Serververwaltung (Server Management) auf Schließen (Close).