Robustness fixes for pipes
authorHan-Wen Nienhuys <hanwen@google.com>
Wed, 23 May 2007 20:10:46 +0000 (17:10 -0300)
committerHan-Wen Nienhuys <hanwen@google.com>
Mon, 28 May 2007 14:15:29 +0000 (11:15 -0300)
commit3c81f33f489c60307d1e86dbc39824366c97e8e7
tree974a98461b49f07bc6ab3a40489252b8c7ff0717
parent73a8a9786edda26c62c697cabc6ddcf792e76d89
Robustness fixes for pipes

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

- use throughout
git-p4