Ticket #2813: plugins.patch

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

@@ -71 +67 @@
                 if (download(d, pluginFile))
                 {
                     count++;
+                } else {
+                    errors += d.name + "\n";
                     failed.add(d);
                 }
-                else
-                    errors += d.name + "\n";
             }
             PluginDownloader.moveUpdatedPlugins();
         }