From ca529d9de71302ffba932538583f757e42ebb9ee Mon Sep 17 00:00:00 2001 From: Michael Date: Thu, 14 Feb 2019 13:30:41 +0000 Subject: [PATCH] The process id is currently not supported. --- src/Core/Worker.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/Core/Worker.php b/src/Core/Worker.php index 8b15090416..75d4e48740 100644 --- a/src/Core/Worker.php +++ b/src/Core/Worker.php @@ -370,7 +370,9 @@ class Worker $argc = count($argv); - $new_process_id = System::processID("wrk"); + // Currently deactivated, since the new logger doesn't support this + //$new_process_id = System::processID("wrk"); + $new_process_id = ''; Logger::log("Process ".$mypid." - Prio ".$queue["priority"]." - ID ".$queue["id"].": ".$funcname." ".$queue["parameter"]." - Process PID: ".$new_process_id); -- 2.39.5