Try to get more execution time

pull/2975/head
Michael 2016-11-27 10:01:24 +00:00
rodzic 636a033364
commit df0d33c138
1 zmienionych plików z 5 dodań i 0 usunięć

Wyświetl plik

@ -29,6 +29,11 @@ function worker_init($a){
call_worker();
if ($r = poller_worker_process()) {
// On most configurations this parameter wouldn't have any effect.
// But since it doesn't destroy anything, we just try to get more execution time in any way.
set_time_limit(0);
poller_execute($r[0]);
}