Set eof flag on Streams appropriately