Robustness fixes for pipes

- add read_pipe(), read_pipe_lines(), write_pipe(), which
check pipe.close()

- use throughout

Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
1 file changed
tree: 0a9317ae10208c558db113cc83659405f2ccf2f1
  1. contrib/