Правка свойств сервера
1. Щелкните > > 
Управление серверами (Server management). Откроется диалоговое окно Управление серверами (Server Management).
Управление серверами (Server management). Откроется диалоговое окно Управление серверами (Server Management).2. Выберите сервер для правки из списка серверов.
3. Щелкните > . Откроется диалоговое окно Свойства сервера (Server Property).
4. Измените имя сервера, его расположение или рабочую область.
 | • Нельзя изменять расположение основного сервера. • При изменении рабочей области на основном сервере необходимо удалить объекты из сессии. |
5. Нажмите кнопку ОК
6. Щелкните Закрыть (Close) в диалоговом окне Управление серверами (Server Management).