Revision 52c47e4e
ID | 52c47e4e8adce0406f08ad1992ce99c1b8f2f2b7 |
workerpool: Add support for task priority
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>
Files
- added
- modified
- copied
- renamed
- deleted