Revision bba69414
ID | bba69414ff37daf47bbcbff539b0ba8df9d7332c |
Parent | 9a2564e7 |
Child | 99fb250b |
workerpool: Preserve task number when deferring
When a task is deferred it should receive the same task ID upon being
returned to the pool.
Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Bernardo Dal Seno <bdalseno@google.com>
Files
- added
- modified
- copied
- renamed
- deleted