« Previous | Next » 

Revision 99fb250b

Parent bba69414
Child 4679547e

Added by Michael Hanselmann almost 11 years ago

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


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences