Changeset 9019 for trunk/gli/src/org/greenstone/gatherer/cdm

Timestamp:

2005-02-14T11:34:01+13:00 (19 years ago)

Author:

mdewsnip

Message:

Fixed bug where CollectionContentsChangedListener isn't removed from destroyed PluginManager object.

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java (modified) (1 diff)

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

@@ -115 +115 @@
 
     /** Destructor. */
-    public void destroy() {
-    if(controls != null) {
+    public void destroy()
+    {
+    Gatherer.c_man.removeCollectionContentsChangedListener(this);
+
+    if (controls != null) {
         controls.destroy();
         controls = null;
     }
+
     library.clear();
     library = null;