From 3a398ba5c8fa3034a08de52bc018c80c3fac5195 Mon Sep 17 00:00:00 2001 From: Serge Rider Date: Fri, 29 Jul 2022 18:28:27 +0300 Subject: [PATCH] dbeaver/dbeaver-ee#1817 New resource caching. API enhancements --- .../cloudbeaver/model/rm/local/LocalResourceController.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/server/bundles/io.cloudbeaver.model/src/io/cloudbeaver/model/rm/local/LocalResourceController.java b/server/bundles/io.cloudbeaver.model/src/io/cloudbeaver/model/rm/local/LocalResourceController.java index 9fd6289e1f..5f4ddce7bb 100644 --- a/server/bundles/io.cloudbeaver.model/src/io/cloudbeaver/model/rm/local/LocalResourceController.java +++ b/server/bundles/io.cloudbeaver.model/src/io/cloudbeaver/model/rm/local/LocalResourceController.java @@ -100,7 +100,7 @@ public class LocalResourceController implements RMController { return userId == null ? null : this.userProjectsPath.resolve(userId); } - private DBPProject getProjectMetadata(String projectId) throws DBException { + private VirtualProjectImpl getProjectMetadata(String projectId) throws DBException { synchronized (projectRegistries) { VirtualProjectImpl project = projectRegistries.get(projectId); if (project == null) { @@ -400,6 +400,10 @@ public class LocalResourceController implements RMController { } catch (IOException e) { throw new DBException("Error deleting resource '" + resourcePath + "'", e); } + // Nullify resource properties if any + VirtualProjectImpl project = getProjectMetadata(projectId); + project.resetResourceProperties(resourcePath); + RMEventManager.fireEvent( new RMEvent(RMEvent.Action.RESOURCE_DELETE, makeProjectFromId(projectId, false),