« Previous | Next » 

Revision bba69414

Parent 9a2564e7
Child 99fb250b

Added by Michael Hanselmann almost 11 years ago

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 <>
Reviewed-by: Bernardo Dal Seno <>


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences