commit 4648480cd420334dc9f4878ca5fdbb728be098f6
author david_williams <david_williams> Fri May 01 05:08:05 2009 +0000
committer david_williams <david_williams> Fri May 01 05:08:05 2009 +0000
tree 470e3ab4f80b8db317d0ea4eba98531fe99c1119
parent efa2b608e9b4291fd1b4fe82ad64e095516f04f4

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 {