Attachment 88389 Details for Bug 212685 – Patch attached

[patch] Patch attached

patch212685.txt (text/plain), 1.04 KB, created by Jakub Jurkiewicz

on 2008-01-31 05:05:49 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Jakub Jurkiewicz

Created: 2008-01-31 05:05:49 EST

Size: 1.04 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.pde.ui
>Index: src/org/eclipse/pde/internal/ui/launcher/LauncherUtils.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/launcher/LauncherUtils.java,v
>retrieving revision 1.107
>diff -u -r1.107 LauncherUtils.java
>--- src/org/eclipse/pde/internal/ui/launcher/LauncherUtils.java	16 Jan 2008 17:08:31 -0000	1.107
>+++ src/org/eclipse/pde/internal/ui/launcher/LauncherUtils.java	31 Jan 2008 09:58:59 -0000
>@@ -249,8 +249,10 @@
> 						file = (File) files.pop();
> 						if (file.isDirectory()) {
> 							File[] children = file.listFiles();
>-							for (int j = 0; j < children.length; j++)
>-								files.push(children[j]);
>+							if (children != null) {
>+								for (int j = 0; j < children.length; j++)
>+									files.push(children[j]);
>+							}
> 						} else if (file.getName().endsWith(".class") && timeStamp < file.lastModified()) //$NON-NLS-1$
> 							timeStamp = file.lastModified();
> 					}

Actions: View | Diff

Attachments on bug 212685: 88389