Windows: Work around an oddity when a pipe with no reader is written to.
authorJohannes Sixt <johannes.sixt@telecom.at>
Fri, 17 Aug 2007 16:40:36 +0000 (18:40 +0200)
committerJohannes Sixt <johannes.sixt@telecom.at>
Thu, 26 Jun 2008 06:47:15 +0000 (08:47 +0200)
commitb2f5e2684da060dd821bf90f88df8b6dc9401a40
tree8c3a39cd7085a5ce0e5b0cbd251768a0c3f236e1
parentbfdd9ffd2f7376ccb8b9d4c4e39e2e0fe97d6b37
Windows: Work around an oddity when a pipe with no reader is written to.

On Windows, write() is implemented using WriteFile(). After the reader
closed its end of the pipe, the first WriteFile() returns
ERROR_BROKEN_PIPE (which translates to EPIPE), subsequent WriteFile()s
return ERROR_NO_DATA, which is translated to EINVAL.

Signed-off-by: Johannes Sixt <johannes.sixt@telecom.at>
write_or_die.c