Changeset 6999
- Timestamp:
- 2004-03-10T10:36:33+13:00 (20 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/ClassifierManager.java
r6995 r6999 116 116 } 117 117 118 public boolean clearClassifierCache() {118 public static boolean clearClassifierCache() { 119 119 120 120 Gatherer.println("deleting classifiers.dat"); -
trunk/gli/src/org/greenstone/gatherer/cdm/PlugInManager.java
r6995 r6999 101 101 } 102 102 103 public boolean clearPlugInCache() {103 public static boolean clearPlugInCache() { 104 104 105 105 Gatherer.println("deleting plugins.dat"); … … 483 483 } 484 484 progress.dispose(); 485 progress.destroy(); 486 progress = null; 485 487 } 486 488 } -
trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java
r6996 r6999 37 37 import org.greenstone.gatherer.Dictionary; 38 38 import org.greenstone.gatherer.Gatherer; 39 import org.greenstone.gatherer.cdm.ClassifierManager; 39 40 import org.greenstone.gatherer.cdm.LanguageManager; 41 import org.greenstone.gatherer.cdm.PlugInManager; 40 42 import org.greenstone.gatherer.checklist.CheckList; 41 43 import org.greenstone.gatherer.checklist.Entry; … … 655 657 Gatherer.config.setLocale("general.locale", Configuration.GENERAL_SETTING, ((DictionaryEntry)language_combobox.getSelectedItem()).getLocale()); 656 658 // delete the plugins and classifiers.dat files 657 Gatherer.c_man.getCollection().cdm.plugin_manager.clearPlugInCache();658 Gatherer.c_man.getCollection().cdm.classifier_manager.clearClassifierCache();659 PlugInManager.clearPlugInCache(); 660 ClassifierManager.clearClassifierCache(); 659 661 } 660 662 //Gatherer.config.setInt("general.max_folder_depth", Configuration.COLLECTION_SPECIFIC, ((Integer)recursion_depth_spinner.getValue()).intValue());
Note:
See TracChangeset
for help on using the changeset viewer.