--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/UseCasesStream.java Thu Aug 29 15:16:13 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/UseCasesStream.java Thu Aug 29 19:00:41 2019 +0200
@@ -153,7 +153,7 @@
public static void tooling() throws IOException, ParseException {
Deque<Double> measurements = new ArrayDeque<>();
try (RecordingStream rs = new RecordingStream(Configuration.getConfiguration("profile"))) {
- rs.setInterval(Duration.ofSeconds(1));
+ rs.setFlushInterval(Duration.ofSeconds(1));
rs.setMaxAge(Duration.ofMinutes(1));
rs.setOrdered(true); // default
rs.setReuse(false);
@@ -188,7 +188,6 @@
rs.onEvent("jdk.JavaMonitorEnter", System.out::println);
rs.onEvent("jdk.ExceptionThrow", System.out::println);
rs.start();
- ;
}
}
}