branch master updated (26f517d -> 5f80856)

[Christopher Baines]

cbaines pushed a change to branch master
in repository data-service.

    from 26f517d  Improve exception handling for channel instance derivations
     new 76712e2  Instrument resource pool checkout failures
     new 26a7515  Copy the port monitoring fiber from the build coordinator
     new 20ad81f  Further fix handling exceptions when computing channel 
instances
     new ca69d33  Add exception handling to the process-jobs script
     new 184d341  Report the size of the guix database and WAL file
     new 5f80856  Allow prioritising jobs from specific repositories

The 6 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 guix-data-service/jobs/load-new-guix-revision.scm |  18 +-
 guix-data-service/utils.scm                       | 207 +++++++++++++++++++++-
 guix-data-service/web/controller.scm              |  13 +-
 guix-data-service/web/server.scm                  |   5 +
 scripts/guix-data-service-process-jobs.in         |  32 +++-
 sqitch/deploy/git_repositories_job_priority.sql   |   7 +
 sqitch/revert/git_repositories_job_priority.sql   |   7 +
 sqitch/sqitch.plan                                |   1 +
 sqitch/verify/git_repositories_job_priority.sql   |   7 +
 9 files changed, 275 insertions(+), 22 deletions(-)
 create mode 100644 sqitch/deploy/git_repositories_job_priority.sql
 create mode 100644 sqitch/revert/git_repositories_job_priority.sql
 create mode 100644 sqitch/verify/git_repositories_job_priority.sql