commit 094a8248b046bd41cd0e01a9a7bd4999825f4c44
author david_williams <david_williams> Fri May 01 05:23:40 2009 +0000
committer david_williams <david_williams> Fri May 01 05:23:40 2009 +0000
tree 3d68884b709e8809fa75049865e331242087d167
parent 0ca03bff4af4d4f7849b6573dd9e27550d6442b6

269047 Exceptions in the log when deleting markers

plugins/org.eclipse.wst.validation/vf2/org/eclipse/wst/validation/internal/MarkerManager.java

diff --git a/plugins/org.eclipse.wst.validation/vf2/org/eclipse/wst/validation/internal/MarkerManager.java b/plugins/org.eclipse.wst.validation/vf2/org/eclipse/wst/validation/internal/MarkerManager.java
index 5c61529..8776525 100644
--- a/plugins/org.eclipse.wst.validation/vf2/org/eclipse/wst/validation/internal/MarkerManager.java
+++ b/plugins/org.eclipse.wst.validation/vf2/org/eclipse/wst/validation/internal/MarkerManager.java
@@ -108,8 +108,17 @@
 		try {
 			hook(resource); 
 			IMarker[] markers = resource.findMarkers(null, true, depth);
+			String markerType;
 			for (IMarker marker : markers){
-				if (_markers.contains(marker.getType())){
+				try {
+					markerType = marker.getType();
+				}
+				catch (CoreException e)
+				{
+					//ignore the marker
+					return;
+				}
+				if (_markers.contains(markerType)){
 					long createTime = marker.getCreationTime();
 					if (createTime < operationStartTime){
 						try {