infernap12/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2026-02-13 11:55:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
jdk/src/jdk.jshell
History
Jan Lahoda c526b4b225 8215438: jshell tool: Ctrl-D causes EOF 
Properly handling EndOfFileException so that jshell can be closed with Ctrl-D.

Reviewed-by: rfield
2019-01-08 16:31:27 +01:00
..
share/classes
8215438: jshell tool: Ctrl-D causes EOF
2019-01-08 16:31:27 +01:00