Revision 99fb250b
| ID | 99fb250bbb4bb53446f5041a372a002b1da45981 |
| Parent | bba69414 |
| Child | 4679547e |
jqueue: Set task ID for jobs added to workerpool
The job ID is re-used as the task ID, as job IDs are unique.
Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Bernardo Dal Seno <bdalseno@google.com>
Files
- added
- modified
- copied
- renamed
- deleted