To avoid repeating myself too much:

if I first close one randomly chosen end of the pipe,
and then do a zero-length write at the other end and
then close that end, it works.
It also works if I first do the zero-length write and close
at one end and then do the close at the other end
 
is this a correct procedure, or would another be preferred?

Axel.

Reply via email to