RFR: JDK-8202105: jshell tool: on exiting, terminal echo is disabled

[Xueming Shen]

+1

(nit: remove the "where:" and the corresponding indent before push please).


On 4/26/18, 1:34 PM, Jan Lahoda wrote:
>
>
> Ok, here is an updated webrev:
> http://cr.openjdk.java.net/~jlahoda/8202105/webrev.02/
>
> Jan
>