Changeset 282 in josm for src/org/openstreetmap/josm/plugins/PluginDownloader.java

Timestamp:

2007-07-08T00:32:06+02:00 (17 years ago)

Author:

imi

Message:

• fixed exception when download link of plugins doesn't work

File:

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

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

@@ -75 +75 @@
     }
 
-        public static void downloadPlugin(PluginDescription pd) {
+        public static boolean downloadPlugin(PluginDescription pd) {
                 File file = new File(Main.pref.getPreferencesDir()+"plugins/"+pd.name+".jar");
             try {
@@ -85 +85 @@
                 out.close();
                 in.close();
+                try {
+                    PluginInformation.findPlugin(pd.name);
+                    return true;
+            } catch (Exception e) {
+                    e.printStackTrace();
+                    JOptionPane.showMessageDialog(Main.parent, tr("The plugin {0} seem to be broken or could not be downloaded automatically.", pd.name));
+            }
         } catch (Exception e) {
-                if (file.exists())
-                        file.delete();
                 JOptionPane.showMessageDialog(Main.parent, tr("Could not download plugin: {0} from {1}", pd.name, pd.resource));
         }
+        if (file.exists())
+                file.delete();
+        return false;
     }
 }