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

chiroito107 at gmail.com chiroito107 at gmail.com
Thu Aug 6 14:48:13 UTC 2020


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



More information about the jdk-changes mailing list