chiark / gitweb /
signal handling