hg: jdk/jdk: 8250912: Recording#copy() doesn't copy the flush interval

[chiroito107 at gmail.com]

Changeset: 1abab3145848
Author:    cito
Date:      2020-08-06 23:47 +0900
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/1abab3145848

8250912: Recording#copy() doesn't copy the flush interval
Reviewed-by: jbachorik

! src/jdk.jfr/share/classes/jdk/jfr/internal/PlatformRecorder.java