From 6a6a805225688b308dee4cf94dd3ef115ded868f Mon Sep 17 00:00:00 2001 From: Michael Vogel Date: Sat, 21 Jul 2018 02:43:22 +0200 Subject: [PATCH] One more notice (#5429) * Some more notices * And some more notice in the worker --- 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 f649e7773e..633b8e12e9 100644 --- a/src/Core/Worker.php +++ b/src/Core/Worker.php @@ -577,7 +577,7 @@ class Worker // How long is the process already running? $duration = (time() - strtotime($entry["executed"])) / 60; if ($duration > $max_duration) { - logger("Worker process ".$entry["pid"]." (".implode(" ", $argv).") took more than ".$max_duration." minutes. It will be killed now."); + logger("Worker process ".$entry["pid"]." (".substr(json_encode($argv), 0, 50).") took more than ".$max_duration." minutes. It will be killed now."); posix_kill($entry["pid"], SIGTERM); // We killed the stale process.