diff --git a/lib/classes/task/manager.php b/lib/classes/task/manager.php index 24852e15a0d..a06a4517b49 100644 --- a/lib/classes/task/manager.php +++ b/lib/classes/task/manager.php @@ -491,6 +491,12 @@ class manager { } } + // Make sure the task data is unchanged. + if (!$DB->record_exists('task_scheduled', (array) $record)) { + $lock->release(); + continue; + } + if (!$task->is_blocking()) { $cronlock->release(); } else {