From 505a34d40e24295a60499d40b890683360b160d6 Mon Sep 17 00:00:00 2001 From: Michael Date: Wed, 27 Feb 2019 09:12:40 +0000 Subject: [PATCH] Log the time as decimal --- src/Core/Worker.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Core/Worker.php b/src/Core/Worker.php index bee87b3ae5..111cd85f59 100644 --- 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); -- 2.39.5