Duh.  The do_EOF() implementation was bogus.  Make it more like
do_quit() -- but print a blank line first.
1 file changed