why are *two* ctrl-D's needed with readline()

[Wilhelm Fitzpatrick]

--- In python-list at y..., Marcin 'Qrczak' Kowalczyk <qrczak at k...> wrote:
> Fri, 5 Oct 2001 14:34:17 -0400, Steve Holden <sholden at h...> pisze:
> 
> > Technically ^D terminates transmission, and only raises EOF if this
> > result in an empty input buffer, which it does if entered before
> > inputting any characters.
> 
> So in normal circumstances programs shouldn't try to read after EOF
> was seen, because it makes a difference for terminals.

So would it be reasonable to report this as a bug?  Certainly, I found
the behavior surprising and non-standard...