8199912: jshell tool: /open from URI

[Christian Stein]

...[+13] it is!

And it opens like a charm:

  /open https://github.com/sormuras/bach/raw/master/src/bach/Bach.java
  /open https://github.com/sormuras/bach/raw/master/src/bach/Bach.jsh
  var code = java("--version")
  /exit code

[+13] https://download.java.net/java/early_access/jdk11/13/jdk-11+13.html

On Mon, Apr 30, 2018 at 8:50 PM Christian Stein <sormuras at gmail.com> wrote:

> Looks still good to me.
>
> Looking forward to jdk-11-ea+12 or ...+13 then. :)
>
> On Mon, Apr 30, 2018 at 8:45 PM Robert Field <robert.field at oracle.com>
> wrote:
>
>> Please review the following, contributed by:
>>
>>            Michal Vala
>>
>> Thank you Christian Stein for your comments.
>>
>>
>> Bug:
>>
>>      https://bugs.openjdk.java.net/browse/JDK-8199912
>>
>> Webrev:
>>
>>      http://cr.openjdk.java.net/~rfield/8199912v1.webrev/
>>
>>
>> -Robert
>>
>>
>>