On Fri, 16 May 2025 18:11:39 GMT, Naoto Sato <na...@openjdk.org> wrote:
> `java.io.Console` uses the charset specified by the `stdout.encoding` system > property for both input and output. While this is generally sufficient, since > Console is intended for interactive terminal use, some platforms allow > different encodings to be configured for input and output. In such cases, > using a single encoding may lead to incorrect behavior when reading from the > terminal. To address this, the newly introduced system property, > `stdin.encoding`, should be used specifically for input where appropriate. This pull request has now been integrated. Changeset: b2a61a99 Author: Naoto Sato <na...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/b2a61a9972493d67d0f1a9f3f529c11e45838d5b Stats: 301 lines in 11 files changed: 256 ins; 8 del; 37 mod 8356985: Use "stdin.encoding" in Console's read*() methods Reviewed-by: jlu, smarks, alanb, vyazici ------------- PR: https://git.openjdk.org/jdk/pull/25271