RFR(12): JDK-8215438: jshell tool: Ctrl-D causes EOF

[Robert Field]

Thumbs up!

Thanks.

-Robert


On 1/7/19 12:49 AM, Jan Lahoda wrote:
> Hi,
>
> I'd like to ask for a review of a patch for:
> https://bugs.openjdk.java.net/browse/JDK-8215438
>
> After the upgrade to JLine 3, EndOfFileException is thrown for Ctrl-D, 
> so we need to catch it and return null from ConsoleIOContext.readLine, 
> so the end-of-input is processed correctly by JShellTool.
>
> Proposed patch:
> http://cr.openjdk.java.net/~jlahoda/8215438/webrev.00/
>
> Thanks,
>     Jan