« Previous | Next » 

Revision bb62d52e

IDbb62d52ef70d0a3d21e3d39cc6ed3b6290cf025c
Parent c1410048
Child 47c3c7b1

Added by Klaus Aehlig almost 7 years ago

Add dequeuing to the job scheduler

This only removes queued jobs from the queue
and indicates whether the job was found in the queue.
For jobs that are already started from the queue's
point of view, it might still be possible to cancel
them, e.g., if they are still waiting for locks.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences