diff options
Diffstat (limited to 'org.eclipse.help/src/org/eclipse/help/internal/util/ResourceLocator.java')
| -rw-r--r-- | org.eclipse.help/src/org/eclipse/help/internal/util/ResourceLocator.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.help/src/org/eclipse/help/internal/util/ResourceLocator.java b/org.eclipse.help/src/org/eclipse/help/internal/util/ResourceLocator.java index e27240374..f277c5efb 100644 --- a/org.eclipse.help/src/org/eclipse/help/internal/util/ResourceLocator.java +++ b/org.eclipse.help/src/org/eclipse/help/internal/util/ResourceLocator.java @@ -249,7 +249,7 @@ public class ResourceLocator { URL zipFileURL = pluginDesc.getPlugin().find(zipFilePath, override); if (zipFileURL != null) { - URL realZipURL = Platform.resolve(zipFileURL); + URL realZipURL = Platform.asLocalURL(Platform.resolve(zipFileURL)); cached = realZipURL.toExternalForm(); } else { cached = ZIP_NOT_FOUND; |