*** 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
}
