Revision bb62d52e
ID | bb62d52ef70d0a3d21e3d39cc6ed3b6290cf025c |
Parent | c1410048 |
Child | 47c3c7b1 |
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 <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted