Serve.cfg:global:sleep time
Навигация: Главная страница/Система ejudge/Использование/Конфигурационные файлы/serve.cfg/Глобальные конфигурационные параметры/sleep_time
Имя переменной: | sleep_time | |
Содержится в: | global | |
Используется: | serve, compile, run | |
Тип содержимого: | integer | |
Может отсутствовать: | да | |
Значение по умолчанию: | 1000 | |
Может повторяться: | нет |
Описание. Программа serve обменивается с программами compile и run посредством разделяемых файлов в общей файловой системе. Например, чтобы отправить полученное от участника решение на компиляцию, программа serve записывает служебный файл и файл решения в специальные каталоги обмена с программой compile. Все три программы периодически проверяют, не появились ли новые файлы в каталогах обмена, и в случае появления новых файлов выполняют соответствующие действия. Переменная sleep_time позволяет задать интервал времени в миллисекундах между опросами каталогов обмена для программ serve, compile и run. Для программы serve интервал времени может переопределяться с помощью переменной serve_sleep_time. Значение конфигурационной переменной sleep_time по умолчанию равно 1000 (миллисекунд), что соответствует задержке в 1 секунду