On Mon, 28 Jun 2021 09:16:33 GMT, Thomas Stuefe <stu...@openjdk.org> wrote:
> Why not do it platform dependent then? ... Checked Visual Studio, and that goes with decimal for thread IDs. 8-) It's the tools rather than the platform. But yes, hex for thread IDs seems to be in the minority. (I have occasionally found this annoying.) ------------- PR: https://git.openjdk.java.net/jdk/pull/4449
