RFR: 8261441: JFR: Filename expansion [v3]

[Denghui Dong]

On Tue, 22 Jun 2021 17:09:29 GMT, Jaroslav Bachorik <jbachorik at openjdk.org> wrote:

>> Denghui Dong has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   fix format problem
>
> src/jdk.jfr/share/classes/jdk/jfr/internal/dcmd/DCmdDump.java line 230:
> 
>> 228: 
>> 229:                  filename        (Optional) Name of the file to which the flight recording data is
>> 230:                                  dumped. The string '%%p' in the filename will be replaced with the
> 
> Should this be `%p` and not `%%p`?

This method invokes String::formatted of this String, so we need '%%p' here.

https://github.com/openjdk/jdk/pull/4550/files/f3fed5ab7e00986cf685287f6654215145f6bb40#diff-48d2f4fec466ce18084c7fe1ad30c5a842f93ab85713efcf6c6108b0574383c5L272

> src/jdk.jfr/share/classes/jdk/jfr/internal/dcmd/DCmdStart.java line 335:
> 
>> 333: 
>> 334:                  filename        (Optional) Name of the file to which the flight recording data is
>> 335:                                  written when the recording is stopped. The string '%%p' in the
> 
> Should this be `%p` and not `%%p`?

same as above

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

PR: https://git.openjdk.java.net/jdk/pull/4550