src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java
branchJEP-349-branch
changeset 57971 aa7b1ea52413
parent 57944 f1610739fe86
child 57985 be121cbf3284
--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java	Thu Aug 29 19:40:37 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java	Fri Aug 30 20:39:38 2019 +0200
@@ -362,4 +362,9 @@
     public void setEndTime(Instant endTime) {
         stream.setStartTime(endTime);
     }
+
+    @Override
+    public void onError(Consumer<Throwable> action) {
+        stream.onError(action);
+    }
 }