[workspace] Refresh projects

If we detect a changed project we inform the workspace. Signed-off-by: Peter Kriens <[email protected]>
eliasvasylenko · Sep 21, 2018 · 2c69a52 · 2c69a52
1 parent 80ad85b
commit 2c69a52
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/bndtools.core/src/bndtools/central/Central.java b/bndtools.core/src/bndtools/central/Central.java
@@ -259,6 +259,7 @@ public static Workspace getWorkspace() throws Exception {
                     if (ws != null) {
                         ws.close();
                     }
+                    logger.logError("Init of workspace", e);
                     throw e;
                 }
             }

diff --git a/bndtools.core/src/bndtools/central/WorkspaceRepositoryChangeDetector.java b/bndtools.core/src/bndtools/central/WorkspaceRepositoryChangeDetector.java
@@ -85,6 +85,7 @@ public boolean visit(IResourceDelta delta) throws CoreException {
 
                     if (delta.getKind() == IResourceDelta.ADDED || delta.getKind() == IResourceDelta.REMOVED) {
                         refresh.set(true);
+                        workspace.refreshProjects();
                         return false;
                     }
                     for (IResourceDelta subDelta : delta.getAffectedChildren(IResourceDelta.ADDED | IResourceDelta.REMOVED | IResourceDelta.CHANGED))