Изменить сервер

Чтобы изменить параметры сервера:

  1. Откройте Справочник серверов.

  2. Выделите сервер, параметры которого требуется изменить.

  3. Откройте окно Сервер любым из доступных способов:

    • Нажмите кнопку Зелёный карандаш.

    • Выберите из контекстного меню команду Редактировать.

    • Дважды нажмите на название левой клавишей мыши.

  4. Внесите необходимые изменения в параметры сервера.

  5. Нажмите кнопку ОК.