Oct. 21, 2013
4:31 p.m.
We should probably still exit the loop if fewer bytes were read than requested, rather than do another read at the end of the file.