chiark / gitweb /
tools: Improve error handling.