« Previous | Next » 

Revision 99fb250b

ID99fb250bbb4bb53446f5041a372a002b1da45981

Added by Michael Hanselmann over 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 <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences