Hi Tobia,

thanks, fixed ^D count in SVN 517.

Actuallly, we are not using readline. And the message should not occur if you
set the control-D count > 0. I would leave the message as is because this is a
rather unusual situation and the user should always be informed about it.

/// Jürgen


On 12/20/2014 01:13 PM, Tobia Conforto wrote:
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

Reply via email to