--- a/src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/RepositoryFiles.java	Fri Nov 22 09:06:35 2019 -0500
+++ b/src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/RepositoryFiles.java	Fri Nov 22 17:20:43 2019 +0100
@@ -227,4 +227,8 @@
             waitObject.notify();
         }
     }
+
+    public boolean hasFixedPath() {
+        return repository != null;
+    }
 }