Problem with terminal settings on leaving loop shell

[Rob Carey]

On both Linux and MacOS when I exit the loop shell (I generally use ^D) I find that echo has been turned off in my terminal driver.  I don't know jline.ConsoleReader at all, but making a naive assumption and adding a call to reader.getTerminal().restore() in quit() appears to fix the problem.  Is no one else seeing that behavior?

[kfb]

I get the same behaviour on Mac OS X, and your fix also works for me.
Are you going to submit a patch?

[Dhanji R. Prasanna]

Thanks! I've submitted this fix, if you update and run rerepl.sh you should get a fresh build. I will also do a release in a moment.

[kfb]

> Thanks! I've submitted this fix, if you update and run rerepl.sh you should
> get a fresh build. I will also do a release in a moment.

Got it, thanks!

[Rob Carey]

I think the fix needs to be a level lower to work for both :q and ^D, no?  

[Dhanji R. Prasanna]

You're right! Done.