Check for bad worker priorities

2020-12-08 21:58:32 +00:00
parent 7e3196776b
commit dd94fb1242
5 changed files with 15 additions and 6 deletions
--- a/boot.php
+++ b/boot.php
@@ -201,6 +201,7 @@ define('PRIORITY_HIGH',       20);
 define('PRIORITY_MEDIUM',     30);
 define('PRIORITY_LOW',        40);
 define('PRIORITY_NEGLIGIBLE', 50);
+define('PRIORITIES', [PRIORITY_CRITICAL, PRIORITY_HIGH, PRIORITY_MEDIUM, PRIORITY_LOW, PRIORITY_NEGLIGIBLE]);
 /* @}*/

 /**