git: openjdk/jdk: master: 8362116: System.in.read() etc. don't accept input once immediate Ctrl+D pressed in JShell

[Jan Lahoda]

Changeset: 40d159d4
Branch: master
Author:    Jan Lahoda <jlahoda at openjdk.org>
Date:      2025-07-15 06:13:45 +0000
URL:       https://git.openjdk.org/jdk/commit/40d159d4a9718d8db0aadf66b322583cd5246d0c

8362116: System.in.read() etc. don't accept input once immediate Ctrl+D pressed in JShell

Reviewed-by: liach, cstein

! src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ConsoleIOContext.java
! src/jdk.jshell/share/classes/jdk/jshell/JShell.java
! src/jdk.jshell/share/classes/jdk/jshell/execution/Util.java
+ src/jdk.jshell/share/classes/jdk/jshell/execution/impl/RestartableInputStream.java
! test/langtools/jdk/jshell/InputUITest.java
! test/langtools/jdk/jshell/UITesting.java