From 4e748668c6862cd4ab37570b77c4f84c1ab855d3 Mon Sep 17 00:00:00 2001 From: Michael Date: Tue, 6 Jun 2017 20:10:47 +0000 Subject: [PATCH] Spaces --- include/poller.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/poller.php b/include/poller.php index a19d9dec8f..fcabe5d8ee 100644 --- a/include/poller.php +++ b/include/poller.php @@ -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"]];