src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java
branchJEP-349-branch
changeset 57376 8e8a06a3059c
parent 57361 53dccc90a5be
child 57380 6a7e7743b82f
--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java	Fri May 24 20:51:28 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java	Mon May 27 18:33:13 2019 +0200
@@ -296,4 +296,9 @@
     public void awaitTermination() {
         stream.awaitTermination();
     }
+
+    @Override
+    public void setReuse(boolean reuse) {
+     // hint is ignored
+    }
 }