Attachment 5931 Details for Bug 42366 – Patch file to fix bug 42366

[patch] Patch file to fix bug 42366

42366-jdt-v1.txt (text/plain), 1.39 KB, created by Frederic Fusier

on 2003-09-02 06:12:09 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Frederic Fusier

Created: 2003-09-02 06:12:09 EDT

Size: 1.39 KB

patch

obsolete

>Index: JavaProject.java
>===================================================================
>RCS file: /data/cvs/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/JavaProject.java,v
>retrieving revision 1.259
>diff -u -r1.259 JavaProject.java
>--- JavaProject.java	1 Sep 2003 16:43:11 -0000	1.259
>+++ JavaProject.java	2 Sep 2003 10:06:08 -0000
>@@ -1648,11 +1648,6 @@
> 			if (infoPath != null) return infoPath;
> 		}
> 
>-		// flush .classpath format markers (see bug 39877 Rebuild All generates extra "Unable to read classpath" entry)
>-		if (generateMarkerOnError){
>-			flushClasspathProblemMarkers(false/*don't flush cycle markers*/, true/*flush classpath format markers*/);
>-		}
>-
> 		Map reverseMap = perProjectInfo == null ? null : new HashMap(5);
> 		IClasspathEntry[] resolvedPath = getResolvedClasspath(
> 			getRawClasspath(), 
>@@ -1665,6 +1660,8 @@
> 			if (perProjectInfo.rawClasspath == null // .classpath file could not be read
> 				&& generateMarkerOnError 
> 				&& JavaProject.hasJavaNature(fProject)) {
>+					// flush .classpath format markers (bug 39877), but only when file cannot be read (bug 42366)
>+					this.flushClasspathProblemMarkers(false, true);
> 					this.createClasspathProblemMarker(new JavaModelStatus(
> 						IJavaModelStatusConstants.INVALID_CLASSPATH_FILE_FORMAT,
> 						Util.bind("classpath.cannotReadClasspathFile", this.getElementName()))); //$NON-NLS-1$

Actions: View | Diff

Attachments on bug 42366: 5931