RFR: 8261441: JFR: Filename expansion [v7]

[Denghui Dong]

On Wed, 23 Jun 2021 08:03:02 GMT, Denghui Dong <ddong at openjdk.org> wrote:

>> Hi,
>> Could I have a review of this change that let the users could use `%p` in the filename to represent the PID  when JFR.start/stop/dump.
>> 
>> I haven't implemented `%t` described in the issue, because I don't think it's very useful.
>> 
>> Best,
>> Denghui Dong
>
> Denghui Dong has updated the pull request incrementally with one additional commit since the last revision:
> 
>   update

src/jdk.jfr/share/classes/jdk/jfr/internal/dcmd/AbstractDCmd.java line 298:

> 296:                 } else if (nc == 't') {
> 297:                     if (time == null) {
> 298:                         time = new SimpleDateFormat("yyyy-MM-dd_HH-mm-ss").format(new Date());

I use the current time here so that different filenames could be generated for multiple dumps of a process.

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

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