|
|
|
@ -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. |
|
|
|
|