Integrated: 8247403: JShell: No custom input (e.g. from GUI) possible with JavaShellToolBuilder

[Jan Lahoda]

On Wed, 10 Feb 2021 13:55:24 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> Basically, JShell's ConsoleIOContext always uses the JLine's default terminal, which uses System.in, or equivalent, for input. But, if the JShell tool has been created using JavaShellToolBuilder, a different input might have been provided. The proposed solution is to use a different JLine's terminal in this case, based on the provided input.

This pull request has now been integrated.

Changeset: 2c8e94f6
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/2c8e94f6804fee269a882a3e92b7ce844451eb11
Stats:     255 lines in 14 files changed: 226 ins; 8 del; 21 mod

8247403: JShell: No custom input (e.g. from GUI) possible with JavaShellToolBuilder

Reviewed-by: vromero

-------------

PR: https://git.openjdk.java.net/jdk/pull/2509