-
Michael Hanselmann authored
To add job priorities, the worker pool underlying the job queue must support priorities per task. This patch adds them to the worker pool. Signed-off-by: Michael Hanselmann <hansmi@google.com> Reviewed-by: Iustin Pop <iustin@google.com>
52c47e4e