diff options
author | Andy Wingo <wingo@pobox.com> | 2010-07-13 10:42:42 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2010-07-13 10:42:52 +0200 |
commit | 2f26a2266a3354606167a7f01df031bca8d727e9 (patch) | |
tree | a3483cbcd2e64539c3a8f3fb400d4536b23224c4 /module/Makefile.am | |
parent | dbb39d9c8ba006d419eb87cf3a92bd2b078808f9 (diff) | |
download | guile-2f26a2266a3354606167a7f01df031bca8d727e9.tar.gz |
ctrl-d with readline exits one recursive repl instance
* module/ice-9/buffered-input.scm (make-buffered-input-port): Instead of
always returning EOF once EOF is seen once, call the producer again.
Allows Ctrl-D to cause one EOF at the REPL, returning once from a
recursive edit, but input continues normally. Thanks to Andrew
Bagdanov for a clue that led to the fix.
Diffstat (limited to 'module/Makefile.am')
0 files changed, 0 insertions, 0 deletions