Attachment 177918 Details for Bug 321358 – Patch

[patch] Patch

bug_321358.txt (text/plain), 1.08 KB, created by Jay Arthanareeswaran

on 2010-09-01 02:40:55 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Jay Arthanareeswaran

Created: 2010-09-01 02:40:55 EDT

Size: 1.08 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.jdt.core
>Index: model/org/eclipse/jdt/internal/core/ExternalFoldersManager.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/ExternalFoldersManager.java,v
>retrieving revision 1.20
>diff -u -r1.20 ExternalFoldersManager.java
>--- model/org/eclipse/jdt/internal/core/ExternalFoldersManager.java	30 Aug 2010 10:53:26 -0000	1.20
>+++ model/org/eclipse/jdt/internal/core/ExternalFoldersManager.java	1 Sep 2010 06:38:57 -0000
>@@ -405,7 +405,8 @@
> 				for (int index = 0; index < this.externalFolders.size(); index++ ) {
> 					if ((externalPath = (IPath)this.externalFolders.get(index)) != null) {
> 						IFolder folder = getFolder(externalPath);
>-						folder.refreshLocal(IResource.DEPTH_INFINITE, pm);
>+						if (folder != null)
>+							folder.refreshLocal(IResource.DEPTH_INFINITE, pm);
> 					}
> 					// Set the processed ones to null instead of removing the element altogether,
> 					// so that they will not be considered as duplicates.

Actions: View | Diff

Attachments on bug 321358: 175585 | 177444 | 177918