Merge pull request #7554 from annando/worker-log

Output better comparable log entries for the worker
This commit is contained in:
Philipp 2019-08-23 08:43:42 +02:00 committed by GitHub
commit 6cf959e2bd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -701,6 +701,8 @@ class Worker
DBA::close($jobs); DBA::close($jobs);
} }
$waiting_processes -= $deferred;
$listitem[0] = "0:" . max(0, $idle_workers); $listitem[0] = "0:" . max(0, $idle_workers);
$processlist .= ' ('.implode(', ', $listitem).')'; $processlist .= ' ('.implode(', ', $listitem).')';