mirror of
https://github.com/openjdk/jdk.git
synced 2026-03-20 21:03:18 +00:00
8250912: Recording#copy() doesn't copy the flush interval
Reviewed-by: jbachorik
This commit is contained in:
parent
b0e4e9a2e4
commit
db4d59cc0c
@ -505,6 +505,7 @@ public final class PlatformRecorder {
|
||||
copy.setInternalDuration(r.getDuration());
|
||||
copy.setStartTime(r.getStartTime());
|
||||
copy.setStopTime(r.getStopTime());
|
||||
copy.setFlushInterval(r.getFlushInterval());
|
||||
|
||||
if (r.getState() == RecordingState.NEW) {
|
||||
return newRec;
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user