RFR 8179856: jshell tool: not suitable for pipeline use

[Jan Lahoda]

Hi Robert,

Overall seems OK to me. One question: why use "--pipe" instead of simply 
"-" (which is AFAIK common option for "read stdin")?

Jan

On 24.8.2017 06:35, Robert Field wrote:
> Please review --
>
> Bugs:
>
>      8179856: jshell tool: not suitable for pipeline use
>      https://bugs.openjdk.java.net/browse/JDK-8179856
>
>      8186708: jshell tool: bad load file garbles message and does not abort
>      https://bugs.openjdk.java.net/browse/JDK-8186708
>
> Webrev:
>
>      http://cr.openjdk.java.net/~rfield/8179856v1.webrev/
>
> Thanks,
> Robert
>