Changeset 3077 in josm for trunk


Ignore:
Timestamp:
2010-03-04T10:45:53+01:00 (15 years ago)
Author:
bastiK
Message:

fix version display after plugin update

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java

    r3054 r3077  
    288288        File pluginDir = Main.pref.getPluginsDirectory();
    289289        for (PluginInformation pi : plugins) {
     290            // Find the downloaded file. We have tried to install the downloaded plugins
     291            // (PluginHandler.installDownloadedPlugins). This succeeds depending on the
     292            // platform.
    290293            File downloadedPluginFile = new File(pluginDir, pi.name + ".jar.new");
    291294            if (!(downloadedPluginFile.exists() && downloadedPluginFile.canRead())) {
    292                 continue;
     295                downloadedPluginFile = new File(pluginDir, pi.name + ".jar");
     296                if (!(downloadedPluginFile.exists() && downloadedPluginFile.canRead())) {
     297                    continue;
     298                }
    293299            }
    294300            try {
Note: See TracChangeset for help on using the changeset viewer.