JShell EofException

[Robert Field]

Hmmmm.... what platform?

-Robert


On 07/28/18 13:55, John Rose wrote:
> On Jul 28, 2018, at 1:23 PM, Robert Field <robert.field at oracle.com 
> <mailto:robert.field at oracle.com>> wrote:
>>
>> The backtrace shouldn't occur with System.exit. And I don't get that 
>> (do you?):
>
> Here's a transcript.  The same thing happens if I add --no-startup,
> so I don't think it's environmental.
>
> --------
>       jshell -J-version
> java version "11-ea" 2018-09-25
> Java(TM) SE Runtime Environment 18.9 (build 11-ea+19)
> Java HotSpot(TM) 64-Bit Server VM 18.9 (build 11-ea+19, mixed mode)
> --------
>       jshell -version
> jshell 11-ea
> --------
>       jshell
> | Welcome to JShell -- Version 11-ea
> | For an introduction type: /help intro
>
> jshell> System.exit(0)
> | State engine terminated.
> | Restore definitions with: /reload -restore
> java.io.EOFException
> at java.base/java.io.DataInputStream.readInt(DataInputStream.java:397)
> at 
> java.base/java.io.ObjectInputStream$BlockDataInputStream.readInt(ObjectInputStream.java:3284)
> at 
> java.base/java.io.ObjectInputStream.readInt(ObjectInputStream.java:1047)
> at 
> jdk.jshell/jdk.jshell.execution.StreamingExecutionControl.readAndReportExecutionResult(StreamingExecutionControl.java:277)
> at 
> jdk.jshell/jdk.jshell.execution.StreamingExecutionControl.invoke(StreamingExecutionControl.java:99)
> at 
> jdk.jshell/jdk.jshell.execution.JdiDefaultExecutionControl.invoke(JdiDefaultExecutionControl.java:160)
> at jdk.jshell/jdk.jshell.Eval.declare(Eval.java:848)
> at jdk.jshell/jdk.jshell.Eval.eval(Eval.java:140)
> at jdk.jshell/jdk.jshell.JShell.eval(JShell.java:493)
> at 
> jdk.jshell/jdk.internal.jshell.tool.JShellTool.processSource(JShellTool.java:3547)
> at 
> jdk.jshell/jdk.internal.jshell.tool.JShellTool.processSourceCatchingReset(JShellTool.java:1301)
> at 
> jdk.jshell/jdk.internal.jshell.tool.JShellTool.processInput(JShellTool.java:1203)
> at 
> jdk.jshell/jdk.internal.jshell.tool.JShellTool.run(JShellTool.java:1176)
> at 
> jdk.jshell/jdk.internal.jshell.tool.JShellTool.start(JShellTool.java:975)
> at 
> jdk.jshell/jdk.internal.jshell.tool.JShellToolBuilder.start(JShellToolBuilder.java:254)
> at 
> jdk.jshell/jdk.internal.jshell.tool.JShellToolProvider.main(JShellToolProvider.java:120)
>
> jshell> /exit
> | Goodbye
> --------