Difference between revisions of "Serve.cfg:global:sleep time"
(Created page with "Навигация: Главная страница/Система ejudge/Использование/Конфигурационные файлы/[[serve...") |
|||
| Line 16: | Line 16: | ||
|'''Может повторяться:''' || ''нет'' || | |'''Может повторяться:''' || ''нет'' || | ||
|} | |} | ||
| + | |||
| + | '''Редактирование элемента:''' страница ''"Editing contest"'', вкладка ''"Global settings (serve.cfg)"'', блок ''"Advanced settings"'', поле ''"`compile', `run' sleep time (ms)"''. | ||
| + | |||
'''Описание.''' | '''Описание.''' | ||
Программа <tt>serve</tt> обменивается с программами <tt>compile</tt> и <tt>run</tt> посредством разделяемых | Программа <tt>serve</tt> обменивается с программами <tt>compile</tt> и <tt>run</tt> посредством разделяемых | ||
Latest revision as of 11:01, 12 February 2013
Навигация: Главная страница/Система ejudge/Использование/Конфигурационные файлы/serve.cfg/Глобальные конфигурационные параметры/sleep_time
| Имя переменной: | sleep_time | |
| Содержится в: | global | |
| Используется: | serve, compile, run | |
| Тип содержимого: | integer | |
| Может отсутствовать: | да | |
| Значение по умолчанию: | 1000 | |
| Может повторяться: | нет |
Редактирование элемента: страница "Editing contest", вкладка "Global settings (serve.cfg)", блок "Advanced settings", поле "`compile', `run' sleep time (ms)".
Описание. Программа serve обменивается с программами compile и run посредством разделяемых файлов в общей файловой системе. Например, чтобы отправить полученное от участника решение на компиляцию, программа serve записывает служебный файл и файл решения в специальные каталоги обмена с программой compile. Все три программы периодически проверяют, не появились ли новые файлы в каталогах обмена, и в случае появления новых файлов выполняют соответствующие действия. Переменная sleep_time позволяет задать интервал времени в миллисекундах между опросами каталогов обмена для программ serve, compile и run. Для программы serve интервал времени может переопределяться с помощью переменной serve_sleep_time. Значение конфигурационной переменной sleep_time по умолчанию равно 1000 (миллисекунд), что соответствует задержке в 1 секунду