Changeset 157 in josm for src

Timestamp:

2006-10-08T18:17:55+02:00 (18 years ago)

Author:

imi

Message:

• fixed plugin loader for Windows (again)

File:

• src/org/openstreetmap/josm/plugins/PluginInformation.java (modified) (2 diffs)

src/org/openstreetmap/josm/plugins/PluginInformation.java

@@ -41 +41 @@
                 try {
                         ClassLoader loader = URLClassLoader.newInstance(
-                                        new URL[]{new URL("file://"+file.getAbsolutePath())},
+                                        new URL[]{new URL(getURLString())},
                                         getClass().getClassLoader());
                         Object plugin = Class.forName(className, true, loader).newInstance();
@@ -49 +49 @@
                 }
         }
+
+        private String getURLString() {
+                if (System.getProperty("os.name").startsWith("Windows"))
+                        return "file:/"+file.getAbsolutePath();
+                return "file://"+file.getAbsolutePath();
+    }
 }