chiark / gitweb /
core: keep track of the number of JOB_RUNNING jobs