[Bug-ed] Need to press ^D twice to get one ^D

[Martin Guy]

Hi again
  On this Linux system (Ubuntu 10.10) you need to press ^D twice at ed
to get it to react to the end-of-file.
If you've modified the buffer but not written it, you need to press ^D
four times to get ed to quit.

I've checked against the BSD ed, and that only needs one (or two to
quit with modified buffer)

Cause unknown...

Cheers

    M