chiark / gitweb /
handle eof on stdin