Ignore:
Timestamp:
2005-05-13T15:57:47+12:00 (19 years ago)
Author:
mdewsnip
Message:

Dealing with the user config.xml files is now much smarter. Instead of throwing away all the user preferences every time the version of GLI is updated, they are now intelligently merged into the updated (core) config.xml file.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/gli/src/org/greenstone/gatherer/Gatherer.java

    r9865 r9869  
    146146        // Load GLI config file
    147147        new Configuration(gsdl_path, gsdl3_path, site_name);
    148         if (Configuration.just_created_new_config_file) {
     148        if (Configuration.just_updated_config_xml_file) {
    149149        // Delete the plugins.dat and classifiers.dat files
    150150        PluginManager.clearPluginCache();
Note: See TracChangeset for help on using the changeset viewer.