chiark / gitweb /
manager: serialize/deserialize job counters across reexec/reload