Subject: Re: bug#12216: peek-char incorrectly *CONSUMES* eof

From: "David A. Wheeler" <[email-masked]>
Date: Sat, 30 Mar 2013 19:02:31 -0400 (EDT)

Mark H Weaver:
> I think I now see a reasonable way to fix this.
> First of all, all interfaces that do something like 'peek' would, when
> returning an EOF, set a 'pending_eof' flag in the port structure...

That's awesome, and it sounds like it'd work well.

Thanks for looking into this.

--- David A. Wheeler