Changeset 5296 for trunk/gli/src/org/greenstone/gatherer/Gatherer.java
- Timestamp:
- 2003-08-27T15:05:14+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/Gatherer.java
r5253 r5296 341 341 // Save configuration. 342 342 saveConfig(); 343 344 // Flush dictionary 345 dictionary.destroy(); 346 343 347 // Flush debug 344 348 if(debug != null) { … … 593 597 // Splash screen. 594 598 Splash splash = new Splash(); 595 599 dictionary.destroy(); 596 600 gatherer.run(size, gsdl_path, exec_path, debug, perl_path, no_load, splash, filename); 597 601 }
Note:
See TracChangeset
for help on using the changeset viewer.