1
0
Fork 0

Merge pull request #6719 from annando/worker-scheduler

New scheduler mechanism - now to the correct branch
This commit is contained in:
Hypolite Petovan 2019-02-21 16:12:19 -05:00 committed by GitHub
commit 4375edd63e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 187 additions and 240 deletions

View file

@ -41,11 +41,7 @@ function worker_init()
Worker::callWorker();
$passing_slow = false;
$entries = 0;
$deferred = 0;
if ($r = Worker::workerProcess($passing_slow, $entries, $deferred)) {
if ($r = Worker::workerProcess()) {
// 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);