So editieren Sie Server-Eigenschaften
1. Wählen Sie die Befehlsfolge > > 
Serververwaltung (Server management). Das Dialogfenster Serververwaltung (Server Management) wird angezeigt.
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 > . 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).