Changeset 936 in josm

Timestamp:

2008-09-09T08:21:38+02:00 (16 years ago)

Author:

stoecker

Message:

fixed NPE

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java

@@ -347 +347 @@
 
                 String oldPlugins = Main.pref.get("plugins");
-                if (!plugins.equals(oldPlugins)) {
+                if(oldPlugins == null && plugins == null)
+                        return;
+                if(plugins == null || oldPlugins == null || !plugins.equals(oldPlugins))
+                {
                         Main.pref.put("plugins", plugins);
                         gui.requiresRestart = true;