- Timestamp:
- 2004-02-20T12:36:40+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/Gatherer.java
r6795 r6853 363 363 364 364 // Flush dictionary 365 dictionary.destroy();365 // dictionary.destroy(); 366 366 367 367 // Flush debug … … 663 663 // Splash screen. 664 664 Splash splash = new Splash(); 665 dictionary.destroy();665 // dictionary.destroy(); 666 666 gatherer.run(size, gsdl_path, exec_path, debug, perl_path, no_load, splash, filename, mirroring_enabled, wget_version_str, wget_path); 667 667 }
Note:
See TracChangeset
for help on using the changeset viewer.