chiark / gitweb /
Fix signal handling.