Good catch. I agree that the pipe should be emptied if we got an ``EINTR``. @jimis?