Changeset 8074 in josm for trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

Timestamp:

2015-02-16T15:40:51+01:00 (9 years ago)

Author:

bastiK

Message:

#11090 - do not load plugins unless dependencies can be loaded
(or are already loaded)

File:

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

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

@@ -525 +525 @@
      * No other plugins this plugin depends on should be missing.
      *
-     * @param parent The parent Component used to display error popup
+     * @param parent The parent Component used to display error popup. If parent is
+     * null, the error popup is suppressed
      * @param plugins the collection of all loaded plugins
      * @param plugin the plugin for which preconditions are checked
@@ -551 +552 @@
             }
             if (!missingPlugins.isEmpty()) {
-                alertMissingRequiredPlugin(parent, plugin.name, missingPlugins);
+                if (parent != null) {
+                    alertMissingRequiredPlugin(parent, plugin.name, missingPlugins);
+                }
                 return false;
             }