Changeset 5931

Timestamp:

2003-11-21T11:06:18+13:00 (20 years ago)

Author:

jmt12

Message:

I had forgotten to test for default index being null when changing between mg and mgpp

File:

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

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

@@ -432 +432 @@
         mg_element.setAttribute(CollectionConfiguration.ASSIGNED_ATTRIBUTE, CollectionConfiguration.FALSE_STR);
         mg_element = null;
-        default_index.setAssigned(false);
+        if(default_index != null) {
+            default_index.setAssigned(false);
+        }
         }
         else {