On Tue, 12 Nov 2024 14:29:08 GMT, Alan Bateman <al...@openjdk.org> wrote:
>>> Instead, I think we should look at adding a property such as jdk.patched >> >> You mean a new standard property - observable with >> `System.getProperty("jdk.patched")` as well - which would also show up with >> `java -XshowSettings:properties`? Is that the direction you are envisioning? > > Yes, I'm wondering if a JDK-specific (rather than standard) property could be > more widely useful as it would allow observability tools to know that the JDK > has been patched. It would be good to get wider input on this. @AlanBateman The discussion doesn't see to gain much traction. Should I go ahead and propose a bug/patch - with CSR - which adds the JDK specific property and make it dependent on this fix? Thoughts? ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/22037#discussion_r1842509475