Changeset 1732 in josm

Timestamp:

2009-07-04T22:32:30+02:00 (15 years ago)

Author:

stoecker

Message:

close #2813 - updating plugins disabled plugins

File:

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

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

@@ -69 +69 @@
                 Main.pleaseWaitDlg.currentAction.setText(tr("Downloading Plugin {0}...", d.name));
                 File pluginFile = new File(pluginDir, d.name + ".jar.new");
-                if (download(d, pluginFile))
+                if(download(d, pluginFile))
+                    count++;
+                else
                 {
-                    count++;
+                    errors += d.name + "\n";
                     failed.add(d);
                 }
-                else
-                    errors += d.name + "\n";
             }
             PluginDownloader.moveUpdatedPlugins();
@@ -151 +151 @@
             return t.failed;
         }
-        catch(java.lang.InterruptedException e) {}
-        catch(java.util.concurrent.ExecutionException e) {}
+        catch(java.lang.InterruptedException e) {e.printStackTrace();}
+        catch(java.util.concurrent.ExecutionException e) {e.printStackTrace();}
         return download;
     }