Changeset 5931
- Timestamp:
- 2003-11-21T11:06:18+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/IndexManager.java
r5593 r5931 432 432 mg_element.setAttribute(CollectionConfiguration.ASSIGNED_ATTRIBUTE, CollectionConfiguration.FALSE_STR); 433 433 mg_element = null; 434 default_index.setAssigned(false); 434 if(default_index != null) { 435 default_index.setAssigned(false); 436 } 435 437 } 436 438 else {
Note:
See TracChangeset
for help on using the changeset viewer.