Make interactive output go to the terminal (bug #17213), by
authorBen Pfaff <blp@gnu.org>
Fri, 27 Jul 2007 22:58:02 +0000 (22:58 +0000)
committerBen Pfaff <blp@gnu.org>
Fri, 27 Jul 2007 22:58:02 +0000 (22:58 +0000)
causing the UI to flush output to the user when it prompts for a
command.
Thanks to John Darrington for review.


No differences found