Revision bba69414
| ID | bba69414ff37daf47bbcbff539b0ba8df9d7332c |
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