Check if file exists to prevent falsely opening it

--- Signed-off-by: Peter Kriens <[email protected]> Signed-off-by: Peter Kriens <[email protected]>
pkriens · Apr 25, 2024 · adaf4f1 · adaf4f1
1 parent 340266d
commit adaf4f1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/bndtools.jareditor/src/bndtools/jareditor/internal/JarFileSystem.java b/bndtools.jareditor/src/bndtools/jareditor/internal/JarFileSystem.java
@@ -222,6 +222,11 @@ public IFileStore getStore(URI uri) {
 				logger.logError("Cannot locate filestore for the JAR file: " + fileuri, e);
 				return nullFileStore(Path.EMPTY);
 			}
+			IFileInfo fetchInfo = store.fetchInfo();
+			if (fetchInfo == null || !fetchInfo.exists()) {
+				logger.logInfo("File no longer exists: " + uri, null);
+				return nullFileStore(Path.EMPTY);
+			}
 
 			JarRootNode root = roots.compute(store, this::computeRootNode)
 				.get();