src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java
branchJEP-349-branch
changeset 58020 f082177c5023
parent 57985 be121cbf3284
child 58129 7b751fe181a5
--- 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();
     }
 }