Ignore:
Timestamp:
2003-08-27T15:05:14+12:00 (21 years ago)
Author:
jmt12
Message:

Added keylist functionality

File:
1 edited

Legend:

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

    r5253 r5296  
    341341    // Save configuration.
    342342    saveConfig();
     343
     344    // Flush dictionary
     345    dictionary.destroy();
     346
    343347    // Flush debug
    344348    if(debug != null) {
     
    593597    // Splash screen.
    594598    Splash splash = new Splash();
    595 
     599    dictionary.destroy();
    596600    gatherer.run(size, gsdl_path, exec_path, debug, perl_path, no_load, splash, filename);
    597601    }
Note: See TracChangeset for help on using the changeset viewer.