chiark / gitweb /
Fix end-of-file detection and error handling.