Re: [Bug-apl] Ctrl-D and )off

[Tobia Conforto]

Thank you Jürgen.

I'm not sure values > 1 are working properly, but maybe that's just my system. I've set it to 1 anyways.

As for the output messages, I suggest the attached changes, because 1) readline is already ending CIN on Ctrl-D, so we don't need to output another endl; 2) that "*** end of input" can be silenced with uprefs.silent ;-)

Tobia

eof.patch
Description: Text Data