*** empty log message ***
diff --git a/bundles/org.eclipse.core.boot/src/org/eclipse/core/internal/boot/PlatformConfiguration.java b/bundles/org.eclipse.core.boot/src/org/eclipse/core/internal/boot/PlatformConfiguration.java index 7750f62..067243d 100644 --- a/bundles/org.eclipse.core.boot/src/org/eclipse/core/internal/boot/PlatformConfiguration.java +++ b/bundles/org.eclipse.core.boot/src/org/eclipse/core/internal/boot/PlatformConfiguration.java
@@ -1799,7 +1799,17 @@ // parse xerces plugin.xml // -> get its <library> entries ... all of them - } + } + + private File locateBootPluginXML(String path) { + // starting path is the boot load location (jar or directory) + // -> trip off .jar + + // recursively try to get <dir>/plugin.xml, until we have no parent + // -> terminal error if not found + + return null; + } private void write(PrintWriter w) { // write header @@ -2095,6 +2105,13 @@ URL siteURL = null; try { siteURL = new URL(sitePortion); + if (siteURL.getProtocol().equals("file")) { + File sf = new File(siteURL.getFile()); + String sfn = sf.getAbsolutePath().replace(File.separatorChar,'/'); + if (!sfn.endsWith("/")) + sfn += "/"; + siteURL = new URL("file:"+sfn); + } } catch (MalformedURLException e) { continue; // bad entry ... skip it }