Merge pull request bndtools#1939 from pkriens/pkriens/inform-workspace

Pkriens/inform workspace
eliasvasylenko · Sep 21, 2018 · 423a5c6 · 423a5c6
2 parents ab90b27 + 2c69a52
commit 423a5c6
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/bndtools.core/bndtools.shared.bndrun b/bndtools.core/bndtools.shared.bndrun
@@ -287,7 +287,7 @@ crossplatform.bundles: \
 	org.w3c.dom.smil,\
 	org.w3c.dom.svg
 
-crossplatform.vmargs: -Xmx512m -XX:MaxPermSize=256m
+crossplatform.vmargs: -Xmx2g
 
 crossplatform.runprops: \
 	eclipse.application=org.eclipse.ui.ide.workbench,\

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))