chiark / gitweb /
manager: dump to usual debug channel on SIGUSR2, don't rely on stdin