Changeset 10556 for trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java

Timestamp:

2005-08-24T15:14:01+12:00 (19 years ago)

Author:

kjdon

Message:

fixes to make the config file save only if it has changed

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java

@@ -972 +972 @@
                 ac.destroy();
                 ac = null;
+                // cos I can't be bothered checking every argument to see if it has changed or not, we'll asasume that the configuration has changed if someone has clicked configure
+                Gatherer.c_man.configurationChanged();
             }
             }
@@ -996 +998 @@
             ac.destroy();
             ac = null;
+            // cos I can't be bothered checking every argument to see if it has changed or not, we'll asasume that the configuration has changed if someone has clicked configure
+            Gatherer.c_man.configurationChanged();
             }
         }