RFR: 8303229: JFR: Preserve disk repository after exit [v3]

[David Holmes]

On Thu, 23 Mar 2023 13:41:05 GMT, Erik Gahlin <egahlin at openjdk.org> wrote:

>> src/java.base/share/man/java.1 line 1344:
>> 
>>> 1342: after the JVM has exited.
>>> 1343: If false, files are deleted.
>>> 1344: By default, this parameters is disabled.
>> 
>> Do you mean by default it is false?
>> 
>> Typo: parameters -> parameter
>
> It is false by default. 
> 
> (I used similar wording as for the retransform parameter "By default, this parameter is enabled".)

Seems an awkward mix of terminology to me.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/13111#discussion_r1146923457