Changeset 3076 in josm

Timestamp:

2010-03-04T10:33:47+01:00 (14 years ago)

Author:

bastiK

Message:

see #4565 - local version number lost, after update plugin list.

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginListParser.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/plugins/PluginListParser.java

@@ -65 +65 @@
             String url = null;
             StringBuilder manifest = new StringBuilder();
+            /*
+            code structure:
+                for () {
+                    A;
+                    B;
+                    C;
+                }
+                B;
+            */
             for (String line = r.readLine(); line != null; line = r.readLine()) {
                 if (line.startsWith("\t")) {
@@ -78 +87 @@
                     PluginInformation info = createInfo(name, url, manifest.toString());
                     if (info != null) {
+                        for (PluginProxy plugin : PluginHandler.pluginList) {
+                            if (plugin.getPluginInformation().name.equals(info.getName())) {
+                                info.localversion = plugin.getPluginInformation().localversion;
+                            }
+                        }
                         ret.add(info);
                     }
@@ -90 +104 @@
                 PluginInformation info = createInfo(name, url, manifest.toString());
                 if (info != null) {
+                    for (PluginProxy plugin : PluginHandler.pluginList) {
+                        if (plugin.getPluginInformation().name.equals(info.getName())) {
+                            info.localversion = plugin.getPluginInformation().localversion;
+                        }
+                    }
                     ret.add(info);
                 }