Changeset 3077 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2010-03-04T10:45:53+01:00 (14 years ago)

Author:

bastiK

Message:

fix version display after plugin update

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java

@@ -288 +288 @@
         File pluginDir = Main.pref.getPluginsDirectory();
         for (PluginInformation pi : plugins) {
+            // Find the downloaded file. We have tried to install the downloaded plugins
+            // (PluginHandler.installDownloadedPlugins). This succeeds depending on the
+            // platform.
             File downloadedPluginFile = new File(pluginDir, pi.name + ".jar.new");
             if (!(downloadedPluginFile.exists() && downloadedPluginFile.canRead())) {
-                continue;
+                downloadedPluginFile = new File(pluginDir, pi.name + ".jar");
+                if (!(downloadedPluginFile.exists() && downloadedPluginFile.canRead())) {
+                    continue;
+                }
             }
             try {