chiark / gitweb /
resolved: make sure SIGTER/SIGINT actually can be caught and processed