chiark / gitweb /
manager: introduce 'isolate' job mode which kills all units but the requested one