chiark / gitweb /
core: fix running jobs counters after reload/reexec