« Previous | Next » 

Revision 9a2564e7

Parent 125b74b2
Child bba69414

Added by Michael Hanselmann almost 11 years ago

workerpool: Add method to change task's priority

Using the task ID a pending task's priority can be changed. This will be
used to change the priority of jobs in the workerpool.

Signed-off-by: Michael Hanselmann <>
Reviewed-by: Bernardo Dal Seno <>


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences