branch | JEP-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); + } }