pull/3522/head
Michael 2017-06-06 20:10:47 +00:00
rodzic e3d5dcf049
commit 4e748668c6
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -392,7 +392,7 @@ function poller_kill_stale_workers() {
$pid["priority"] = PRIORITY_MEDIUM;
}
// Define the maximum durations
// Define the maximum durations
$max_duration_defaults = array(PRIORITY_CRITICAL => 360, PRIORITY_HIGH => 10, PRIORITY_MEDIUM => 60, PRIORITY_LOW => 180, PRIORITY_NEGLIGIBLE => 360);
$max_duration = $max_duration_defaults[$pid["priority"]];