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

Timestamp:

2007-08-08T08:49:22+02:00 (17 years ago)

Author:

imi

Message:

• added plugin site configuration preferences

File:

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

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

@@ -69 +69 @@
         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 : getSites()) {
                         try {
                                 BufferedReader r = new BufferedReader(new InputStreamReader(new URL(site).openStream()));
@@ -88 +88 @@
                 return count;
         }
+
+        public static String[] getSites() {
+            return Main.pref.get("pluginmanager.sites", "http://josm.openstreetmap.de/wiki/Plugins").split(" ");
+    }
 
         private static CharSequence readXml(BufferedReader r) throws IOException {