chiark / gitweb /
Improve signal handling.