src/jdk.jfr/share/classes/jdk/jfr/consumer/EventDirectoryStream.java
branchJEP-349-branch
changeset 57628 f5f590eaecf5
parent 57604 838f9a7635b6
child 57638 3b41affae2d2
--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventDirectoryStream.java	Fri Aug 02 20:04:02 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventDirectoryStream.java	Fri Aug 02 20:05:23 2019 +0200
@@ -35,6 +35,7 @@
 import java.util.Objects;
 import java.util.function.Consumer;
 
+import jdk.jfr.internal.SecuritySupport.SafePath;
 import jdk.jfr.internal.consumer.RecordingInput;
 import jdk.jfr.internal.consumer.RepositoryFiles;
 
@@ -58,7 +59,7 @@
 
         public DirectoryStream(AccessControlContext acc, Path p) throws IOException {
             super(acc);
-            repositoryFiles = new RepositoryFiles(p);
+            repositoryFiles = new RepositoryFiles(new SafePath(p));
         }
 
         @Override
@@ -98,7 +99,9 @@
                         }
                         runFlushActions();
                     }
-
+                    if (isClosed()) {
+                        return;
+                    }
                     path = repositoryFiles.nextPath(chunkStartNanos);
                     if (path == null) {
                         return; // stream closed