chiark / gitweb /
fixes for error handling