| commit | 78c8711ef9c21f652b7b026b0d4b9433be38e866 | [log] [tgz] |
|---|---|---|
| author | Wassim Melhem <wmelhem> | Tue Jan 21 23:27:15 2003 +0000 |
| committer | Wassim Melhem <wmelhem> | Tue Jan 21 23:27:15 2003 +0000 |
| tree | e18563de0c73d24a78af07289a94e745d5a4db60 | |
| parent | 288eafa86ce091b96f3597b99757f40ee94e11b8 [diff] |
defect 29915
diff --git a/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/launcher/WorkbenchLaunchConfigurationDelegate.java b/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/launcher/WorkbenchLaunchConfigurationDelegate.java index e14b4dd..588c15e 100644 --- a/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/launcher/WorkbenchLaunchConfigurationDelegate.java +++ b/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/launcher/WorkbenchLaunchConfigurationDelegate.java
@@ -617,13 +617,13 @@ if (resource != null) { IProject project = resource.getProject(); if (project.hasNature(JavaCore.NATURE_ID)) { - IPath path = JavaCore.create(project).getOutputLocation(); - if (path.toFile().exists()) { - return path.toOSString(); - } resource = project.findMember("boot.jar"); if (resource != null) return "file:" + resource.getLocation().toOSString(); + IPath path = JavaCore.create(project).getOutputLocation(); + if (path != null) { + return path.toOSString(); + } } } else { File binDir = new File(bootModel.getInstallLocation(), "bin/");