RFR: 8305622: Remove Permission details from jcmd man page [v2]

Kevin Walls kevinw at openjdk.org
Thu Apr 6 08:38:05 UTC 2023


On Thu, 6 Apr 2023 03:11:34 GMT, David Holmes <dholmes at openjdk.org> wrote:

>> src/jdk.jcmd/share/man/jcmd.1 line 410:
>> 
>>> 408: If false, files are deleted.
>>> 409: By default, this parameter is disabled.
>>> 410: .IP \[bu] 2
>> 
>> Why is this being removed?
>
> I'm guessing the src used to generate the manpage was missing the very recent change.

Yes, it was rush hour in the jcmd man page, the changes overlapped.  Updated this change.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/13363#discussion_r1159466247


More information about the serviceability-dev mailing list