chiark / gitweb /
Use reliable signal handling for reopening logs.