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