--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java Tue Sep 03 22:54:46 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java Thu Sep 05 16:46:50 2019 +0200
@@ -347,12 +347,12 @@
}
@Override
- public void awaitTermination(Duration timeout) {
+ public void awaitTermination(Duration timeout) throws InterruptedException {
directoryStream.awaitTermination(timeout);
}
@Override
- public void awaitTermination() {
+ public void awaitTermination() throws InterruptedException {
directoryStream.awaitTermination();
}
}