RFR 8173652: jshell tool: store history on fatal exit

[Jan Lahoda]

Seems fine to me.

Jan

On 31.1.2017 06:28, Robert Field wrote:
> Please review this fix to prevent data loss...
>
> Bug:
>
>      https://bugs.openjdk.java.net/browse/JDK-8173652
>
> Webrev:
>
>      http://cr.openjdk.java.net/~rfield/8173652v0.webrev/
>
> Thanks,
> Robert
>