Bug#2383: readline doesn't reliably handle EOF on stdin

[Raul Miller <rdm@tad.micro.umn.edu>]

Rolf Rossius:
...
   roro@ernie:tty7:~/tmp$ echo foo | ./a.out
   ready: foo
   foo
   ready: roro@ernie:tty7:~/tmp$

   Is above that what you expect?  This is a readline with bash's
   modifications applied (see Bug#2362).

Yes.

--
Raul