21 Oct
2013
21 Oct
'13
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.