Flush the read buffer when closing the read side of a BufferedStream, so that subsequent reads go to the parent stream (and hopefully get a proper exception)
Flush the read buffer when closing the read side of a BufferedStream, so that subsequent reads go to the parent stream (and hopefully get a proper exception)

ccutrer/mordor,mtanski/mordor,cgaebel/mordor,mozy/mordor,mozy/mordor,mtanski/mordor,adfin/mordor,mtanski/mordor,ccutrer/mordor,ccutrer/mordor,cgaebel/mordor,adfin/mordor,mozy/mordor,adfin/mordor