From df0d33c1383587b310fef7b1d58242793bc4df81 Mon Sep 17 00:00:00 2001 From: Michael Date: Sun, 27 Nov 2016 10:01:24 +0000 Subject: [PATCH] Try to get more execution time --- mod/worker.php | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/mod/worker.php b/mod/worker.php index 1375799667..3fb86dd5b2 100644 --- a/mod/worker.php +++ b/mod/worker.php @@ -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]); }