chiark / gitweb /
manager: add log control via RT signals