Note that this is a fully unbuffered read.
On Wed, Nov 12, 2014 at 11:34 PM, Charles-François Natali <
cf.nat...@gmail.com> wrote:
> 2014-11-12 22:16 GMT+00:00 Buck Golemon :
> > This is due to the fix for issue21090, which aimed to un-silence errors
> > which previously went unheard. The fix is
On Thu, Nov 13, 2014 at 6:34 PM, Charles-François Natali
wrote:
> 2014-11-12 22:16 GMT+00:00 Buck Golemon :
>> This is due to the fix for issue21090, which aimed to un-silence errors
>> which previously went unheard. The fix is for me, as a user, to write a loop
>> that uses os.read and interprete
2014-11-12 22:16 GMT+00:00 Buck Golemon :
> This is due to the fix for issue21090, which aimed to un-silence errors
> which previously went unheard. The fix is for me, as a user, to write a loop
> that uses os.read and interpretes EIO as EOF. This is what I had hoped
> file.read() would do for me,
