+ $funcname = str_replace(".php", "", basename($argv[0]))."_run";
+
+ // Define the processes that have priority over any other process
+ /// @todo Better check for priority processes
+ $high_priority = array("delivery_run", "notifier_run", "pubsubpublish_run");
+ $low_priority = array("queue_run", "gprobe_run", "discover_poco_run");
+
+ if (in_array($funcname, $high_priority))
+ $priority = 1;
+ elseif (in_array($funcname, $low_priority))
+ $priority = 3;
+ else
+ $priority = 2;
+