tree c0e80087a421e1415b62f6adafeec1712d70935e
parent ff2eece3ca739a1d2244a4a3bf07b1b488089e67
author Phil Dawson <phil.dawson@codethink.co.uk> 1542791405 +0000
committer Phil Dawson <phil.dawson@codethink.co.uk> 1544525648 +0000

WIP: scheduler.py: Add a second high priority queue

Adds a queue which allows "high priority" jobs to bypass the main waiting_jobs
queue. This is then used to ensure that fetch jobs are prioritised over pull
jobs.