chiark / gitweb /
resolved: fix crash when shutting down