Changeset 3332 in josm

Timestamp:

2010-06-15T17:30:11+02:00 (14 years ago)

Author:

stoecker

Message:

fixed #5130 - don't report skipped plugins as downloaded

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginDownloadTask.java (modified) (1 diff)

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

@@ -110 +110 @@
             int answer = dialog.getValue();
             if (answer != 1)
-                return;
+                throw new PluginDownloadException(tr("Download skipped"));
         }
         OutputStream out = null;