Changeset 1647 in josm for trunk/src/org/openstreetmap/josm/plugins

Timestamp:

2009-06-07T02:56:33+02:00 (17 years ago)

Author:

stoecker

Message:

fixed plugin handling a bit

Location:

trunk/src/org/openstreetmap/josm/plugins

Files:

• PluginDownloader.java (modified) (6 diffs)
• PluginInformation.java (modified) (1 diff)
• PluginSelection.java (modified) (3 diffs)

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

@@ -23 +23 @@
 import java.net.URL;
 import java.util.Arrays;
+import java.util.concurrent.Future;
 import java.util.Collection;
-import java.util.regex.Matcher;
-import java.util.regex.Pattern;
+import java.util.LinkedList;
 
 import javax.swing.JOptionPane;
@@ -39 +39 @@
     private static final class UpdateTask extends PleaseWaitRunnable {
         private final Collection<PluginInformation> toUpdate;
+        public final Collection<PluginInformation> failed = new LinkedList<PluginInformation>();
         private String errors = "";
         private int count = 0;
+        private boolean update;
 
-        private UpdateTask(Collection<PluginInformation> toUpdate) {
-            super(tr("Update Plugins"));
+        private UpdateTask(Collection<PluginInformation> toUpdate, boolean up) {
+            super(up ? tr("Update Plugins") : tr("Download Plugins"));
+            update = up;
             this.toUpdate = toUpdate;
         }
@@ -52 +55 @@
 
         @Override protected void finish() {
+            Main.pleaseWaitDlg.setVisible(false);
             if (errors.length() > 0)
                 JOptionPane.showMessageDialog(Main.parent, tr("There were problems with the following plugins:\n\n {0}",errors));
             else
-                JOptionPane.showMessageDialog(Main.parent, trn("{0} Plugin successfully updated. Please restart JOSM.", "{0} Plugins successfully updated. Please restart JOSM.", count, count));
+                JOptionPane.showMessageDialog(Main.parent, trn("{0} Plugin successfully downloaded. Please restart JOSM.", "{0} Plugins successfully downloaded. Please restart JOSM.", count, count));
         }
 
@@ -63 +67 @@
                 pluginDir.mkdirs();
             for (PluginInformation d : toUpdate) {
+                Main.pleaseWaitDlg.currentAction.setText(tr("Downloading Plugin {0}...", d.name));
                 File pluginFile = new File(pluginDir, d.name + ".jar.new");
                 if (download(d, pluginFile))
+                {
                     count++;
+                    failed.add(d);
+                }
                 else
                     errors += d.name + "\n";
@@ -103 +111 @@
     }
 
-    public static boolean downloadPlugin(PluginInformation pd) {
-        File file = new File(Main.pref.getPluginsDirFile(), pd.name + ".jar");
-        if (!download(pd, file)) {
-            JOptionPane.showMessageDialog(Main.parent, tr("Could not download plugin: {0} from {1}", pd.name, pd.downloadlink));
-        } else {
-            try {
-                PluginInformation.findPlugin(pd.name);
-                return true;
-            } catch (Exception e) {
-                e.printStackTrace();
-                JOptionPane.showMessageDialog(Main.parent, tr("The plugin {0} seems to be broken or could not be downloaded automatically.", pd.name));
-            }
-        }
-        if (file.exists())
-            file.delete();
-        return false;
-    }
-
     private static boolean download(PluginInformation pd, File file) {
         if(pd.mainversion > AboutAction.getVersionNumber())
@@ -141 +131 @@
             out.close();
             in.close();
+            new PluginInformation(file);
             return true;
-        } catch (MalformedURLException e) {
-            e.printStackTrace();
-        } catch (FileNotFoundException e) {
-            e.printStackTrace();
-        } catch (IOException e) {
+        } catch (Exception e) {
             e.printStackTrace();
         }
+        file.delete(); /* cleanup */
         return false;
     }
 
     public static void update(Collection<PluginInformation> update) {
-        Main.worker.execute(new UpdateTask(update));
+        Main.worker.execute(new UpdateTask(update, true));
+    }
+
+    public Collection<PluginInformation> download(Collection<PluginInformation> download) {
+        UpdateTask t = new UpdateTask(download, false);
+        try {
+            Future<UpdateTask> ta = Main.worker.submit(t, t);
+            t = ta.get();
+            return t.failed;
+        }
+        catch(java.lang.InterruptedException e) {}
+        catch(java.util.concurrent.ExecutionException e) {}
+        return download;
     }
 

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

@@ -110 +110 @@
         stage = stageStr == null ? 50 : Integer.parseInt(stageStr);
         version = attr.getValue("Plugin-Version");
-        try {
-            mainversion = Integer.parseInt(attr.getValue("Plugin-Mainversion"));
-        } catch(NumberFormatException e) {
-            e.printStackTrace();
-        }
+        try { mainversion = Integer.parseInt(attr.getValue("Plugin-Mainversion")); }
+        catch(NumberFormatException e) {}
         author = attr.getValue("Author");
 

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

@@ -98 +98 @@
         String msg = "";
         for (Entry<String, Boolean> entry : pluginMap.entrySet()) {
-            if (entry.getValue() && PluginInformation.findPlugin(entry.getKey()) == null) {
-                toDownload.add(availablePlugins.get(entry.getKey()));
-                msg += entry.getKey() + "\n";
+            if(entry.getValue())
+            {
+                String name = entry.getKey();
+                PluginInformation ap = availablePlugins.get(name);
+                PluginInformation pi = PluginInformation.findPlugin(name);
+                boolean add = false;
+                if(pi == null)
+                    add = true;
+                else if(!pi.version.equals(ap.version))
+                {
+                    add = true;
+                    for (PluginProxy proxy : PluginHandler.pluginList)
+                        if(proxy.info.name.equals(ap.name))
+                            add = false;
+                }
+                if(add)
+                {
+                    toDownload.add(ap);
+                    msg += name + "\n";
+                }
             }
         }
@@ -109 +126 @@
                         new String[] {tr("Download Plugins"), tr("Cancel")},
                         new String[] {"download.png", "cancel.png"}).getValue();
-            if (answer != 1)
-                for (PluginInformation pd : toDownload)
-                    pluginMap.put(pd.name, false);
-            else
-                for (PluginInformation pd : toDownload)
-                    if (!PluginDownloader.downloadPlugin(pd))
-                        pluginMap.put(pd.name, false);
+            Collection<PluginInformation> error =
+            (answer != 1 ? toDownload : new PluginDownloader().download(toDownload));
+            for (PluginInformation pd : error)
+                pluginMap.put(pd.name, false);
 
         }
@@ -209 +223 @@
             pluginCheck.addActionListener(new ActionListener(){
                 public void actionPerformed(ActionEvent e) {
-                    // if user enabled a plugin, it is not loaded but found somewhere on disk: offer to delete jar
-                    if (pluginCheck.isSelected()) {
-                        PluginInformation plinfo = PluginInformation.findPlugin(plugin.name);
-                        if ((getLoaded(plugin.name) == null) && (plinfo != null)) {
-                            try {
-                                int answer = new ExtendedDialog(Main.parent,
-                                    tr("Plugin already exists"),
-                                    tr("Plugin archive already available. Do you want to download"
-                                        + " the current version by deleting existing archive?\n\n{0}",
-                                        plinfo.file.getCanonicalPath()),
-                                    new String[] {tr("Delete and Download"), tr("Cancel")},
-                                    new String[] {"download.png", "cancel.png"}).getValue();
-
-                                if (answer == 1) {
-                                    if (!plinfo.file.delete()) {
-                                        JOptionPane.showMessageDialog(Main.parent, tr("Error deleting plugin file: {0}", plinfo.file.getCanonicalPath()));
-                                    }
-                                }
-                            } catch (IOException e1) {
-                                e1.printStackTrace();
-                                JOptionPane.showMessageDialog(Main.parent, tr("Error deleting plugin file: {0}", e1.getMessage()));
-                            }
-                        }
-                    }
                     pluginMap.put(plugin.name, pluginCheck.isSelected());
                 }