Log the time as decimal

diff --git a/src/Core/Worker.php b/src/Core/Worker.php
index bee87b3ae52a1d27e9c4b71850ddb29ef3673f2b..111cd85f59f33cecf0dbbdaaae1d1e4f545c1272 100644 (file)
--- a/src/Core/Worker.php
+++ b/src/Core/Worker.php
@@ -436,7 +436,7 @@ class Worker
                        $logger->info('Longer than 2 minutes.', ['priority' => $queue["priority"], 'id' => $queue["id"], 'duration' => round($duration/60, 3)]);
                }
 
-               $workerLogger->info('Process done.', ['priority' => $queue["priority"], 'id' => $queue["id"], 'duration' => number_format($duration, 4)]);
+               $workerLogger->info('Process done.', ['priority' => $queue["priority"], 'id' => $queue["id"], 'duration' => round($duration, 3)]);
 
                $a->getProfiler()->saveLog($a->getLogger(), "ID " . $queue["id"] . ": " . $funcname);