Изменить сервер
Чтобы изменить параметры сервера:
-
Откройте Справочник серверов.
-
Выделите сервер, параметры которого требуется изменить.
-
Откройте окно Сервер любым из доступных способов:
-
Нажмите на кнопку .
-
Выберите из контекстного меню команду Редактировать.
-
Дважды щелкните по названию левой клавишей мыши.
-
-
Внесите необходимые изменения в параметры сервера.
-
Нажмите на кнопку ОК.