Changeset 12469
- Timestamp:
- 2006-08-18T09:38:02+12:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/IndexManager.java
r12379 r12469 44 44 import org.greenstone.gatherer.util.CheckList; 45 45 import org.greenstone.gatherer.util.JarTools; 46 import org.greenstone.gatherer.util.XMLTools; 46 47 import org.greenstone.gatherer.util.StaticStrings; 47 48 import org.w3c.dom.*; … … 71 72 DebugStream.println("IndexManager: " + getSize() + " indexes parsed."); 72 73 index_model = this; 73 74 75 74 76 // Parse and retrieve the default index 75 77 NodeList default_index_elements = CollectionDesignManager.collect_config.getDocumentElement().getElementsByTagName(CollectionConfiguration.INDEX_DEFAULT_ELEMENT); 76 78 if(default_index_elements.getLength() > 0) { 79 77 80 default_index = new Index((Element)default_index_elements.item(0)); 78 81 } … … 400 403 if(default_index == null) { 401 404 // Create the default index element, and place immediately after indexes element. 402 Element default_index_element = root.getOwnerDocument().createElement(CollectionConfiguration.INDEX_DEFAULT_ELEMENT); 405 Element default_index_element = root.getOwnerDocument().createElement(CollectionConfiguration.INDEX_DEFAULT_ELEMENT); 403 406 default_index = new Index(default_index_element); 404 407 Node target_node = CollectionConfiguration.findInsertionPoint(default_index_element); … … 421 424 } 422 425 Gatherer.c_man.configurationChanged(); 426 423 427 } 424 428 … … 520 524 } 521 525 526 set_default_button.setEnabled(true); 522 527 Object value = index_list.getSelectedValue(); 523 528 if (value == null) {
Note:
See TracChangeset
for help on using the changeset viewer.