Changeset 287 in josm for src/org/openstreetmap/josm/plugins

Timestamp:

2007-07-11T23:32:16+02:00 (18 years ago)

Author:

imi

Message:

• added LatestRelease plugin site
• added feature to order the list of plugin sites

File:

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

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

@@ -28 +28 @@
         public static int downloadDescription() {
                 int count = 0;
-                for (String site : Main.pref.get("pluginmanager.sites", "http://josm.openstreetmap.de/wiki/Plugins").split(" ")) {
+                for (String site : Main.pref.get("pluginmanager.sites", "http://josm.openstreetmap.de/wiki/Plugins/LatestRelease http://josm.openstreetmap.de/wiki/Plugins").split(" ")) {
                         try {
                                 BufferedReader r = new BufferedReader(new InputStreamReader(new URL(site).openStream()));
@@ -38 +38 @@
                                 r.close();
                                 new File(Main.pref.getPreferencesDir()+"plugins").mkdir();
-                                FileWriter out = new FileWriter(Main.pref.getPreferencesDir()+"plugins/site-"+site.replaceAll("[/:\\\\ <>|]", "_")+".xml");
+                                FileWriter out = new FileWriter(Main.pref.getPreferencesDir()+"plugins/"+count+"-site-"+site.replaceAll("[/:\\\\ <>|]", "_")+".xml");
                                 out.append(txt);
                                 out.close();