having been closed (for instance, a read() call could return some
previously buffered data). Patch by Dmitry Vasiliev.