Changeset 350 in josm for trunk/src


Ignore:
Timestamp:
2007-10-07T19:52:59+02:00 (17 years ago)
Author:
framm
Message:
  • auto-disable any plugin that does not load successfully.
Location:
trunk/src/org/openstreetmap/josm
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/Main.java

    r301 r350  
    238238                                                Main.plugins.add(info.load(klass));
    239239                                        }
    240                                 } catch (PluginException e) {
     240                                } catch (Throwable e) {
    241241                                        e.printStackTrace();
    242242                                        if (early)
    243                                                 System.out.println("Could not load plugin: "+info.name); // do not translate
     243                                                System.out.println("Could not load plugin: "+info.name+" - deleted from preferences"); // do not translate
    244244                                        else
    245                                                 JOptionPane.showMessageDialog(Main.parent, tr("Could not load plugin {0}.", info.name));
     245                                                JOptionPane.showMessageDialog(Main.parent, tr("Could not load plugin {0}. Deleted from preferences.", info.name));
     246                                        plugins.remove(info.name);
     247                                        String plist = null;
     248                                        for (String pn : plugins) {
     249                                                if (plist==null) plist=""; else plist=plist+",";
     250                                                plist=plist+pn;
     251                                        }
     252                                        Main.pref.put("plugins", plist);
    246253                                }
    247254                        }
  • trunk/src/org/openstreetmap/josm/gui/MainApplication.java

    r345 r350  
    112112                        Main.pref.resetToDefault();
    113113                }
    114                
    115                 if (!Main.pref.getBoolean("plugins-0.5", false)) {
    116                         Main.pref.put("plugins", null);
    117                         Main.pref.put("plugins-0.5", "true");
    118                         System.out.println("disabled plugins setting. re-enable the plugins you need.");
    119                 }
    120114
    121115                // load the early plugins
Note: See TracChangeset for help on using the changeset viewer.