Try to get more execution time

diff --git a/mod/worker.php b/mod/worker.php
index 1375799667f502a4bb8fc90ffb12047812e04d76..3fb86dd5b2dadf0d82f7cd924c0049c7ad5aab44 100644 (file)
--- 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]);
        }