File tree 1 file changed +2
-1
lines changed
bundles/org.eclipse.ui.workbench/eclipseui/org/eclipse/ui/internal/misc
1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change 17
17
import java .io .IOException ;
18
18
import java .net .URL ;
19
19
import org .eclipse .core .runtime .CoreException ;
20
+ import org .eclipse .core .runtime .FileLocator ;
20
21
import org .eclipse .core .runtime .IConfigurationElement ;
21
22
import org .eclipse .core .runtime .IPath ;
22
23
import org .eclipse .core .runtime .IStatus ;
@@ -90,7 +91,7 @@ public void openWithUserDefinedProgram() throws CoreException {
90
91
URL entry = bundle .getEntry (descriptor .getFileName ());
91
92
if (entry != null ) {
92
93
// this will bring the file local if the plugin is on a server
93
- URL localName = Platform . asLocalURL (entry );
94
+ URL localName = FileLocator . toFileURL (entry );
94
95
File file = new File (localName .getFile ());
95
96
// Check that it exists before we assert it is valid
96
97
if (file .exists ()) {
You can’t perform that action at this time.
0 commit comments