chiark / gitweb /
util: add pipe_eof()