mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 06:32:10 +02:00
Code Issues Wiki Activity

Bug 537211 - Error running Builtin Specs Detector (closed project)

Browse source 
Just check for the resource being accessible immediately before trying
to delete markers of it.

Change-Id: Ic359dc5a5a865a981847c6da1dd2e8cc312b3bd9
Signed-off-by: Michael Keppler <Michael.Keppler@gmx.de>
This commit is contained in:
Michael Keppler 2018-07-20 07:47:33 +02:00
parent 9b2de3ca06
commit c7ddddc339
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/managedbuilder/language/settings/providers/AbstractBuiltinSpecsDetector.java
View file

@ -209,6 +209,9 @@ public abstract class AbstractBuiltinSpecsDetector extends AbstractLanguageSetti
* @param rc - resource to check markers.
*/
public void deleteMarkers(IResource rc) {
if (!rc.isAccessible()) {
return; // resource might be read-only or project might be closed
}
String providerId = getId();
try {
IMarker[] markers = rc.findMarkers(SCANNER_DISCOVERY_PROBLEM_MARKER, false, IResource.DEPTH_ZERO);