diff --git a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/CCorePlugin.java b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/CCorePlugin.java index 4452da5faa0..206ed525c25 100644 --- a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/CCorePlugin.java +++ b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/CCorePlugin.java @@ -972,6 +972,10 @@ public class CCorePlugin extends Plugin { provider = fNewCProjectDescriptionManager.getScannerInfoProviderProxy(project); project.setSessionProperty(scannerInfoProviderName, provider); } catch (CoreException e) { + // Bug 313725: When project is being closed, don't report an error. + if (!project.isOpen()) + return null; + log(e); }