Показывать панель Серверы при изменениях состояния сервера |
Панель Серверы показывается в рабочей среде при наличии активности в этой панели.
Дополнительная информация о состояниях сервера приведена в разделе Панель Серверы. |
Автоматически публиковать при запуске серверов |
Указывает, что все файлы необходимо опубликовать автоматически перед запуском сервера.
|
Автоматически публиковать на локальный сервер |
Указывает, что все файлы необходимо автоматически публиковать на локальном сервере каждые n секунд, где n задается в управляющем элементе Интервал публикации (секунд).
Минимальный интервал публикации - 10 секунд.
|
Автоматически публиковать на удаленный сервер |
Указывает, что все файлы необходимо автоматически публиковать на удаленном сервере каждые n секунд, где n задается в управляющем элементе Интервал публикации (секунд).
Минимальный интервал публикации - 10 секунд.
|
Автоматически перезапускать серверы при необходимости |
Указывает на необходимость автоматического перезапуска сервера, когда инструменты сервера обнаруживают, что такой перезапуск необходим в связи с изменениями ресурсов в рабочей области.
|
Подтверждать необратимые изменения в редакторе |
Если эта опция включена, то инструменты сервера будут предупреждать перед внесением изменений в редакторе, отмена которых будет невозможна.
|