Revision 7b5c4a69
ID | 7b5c4a693b48f52db43f835f6740201c5e23a251 |
jqueue: Use priority for worker pool
A small helper function is added to make this easier. Priorities are not
yet used in all necessary places.
Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
Files
- added
- modified
- copied
- renamed
- deleted