- Timestamp:
- 2005-07-06T15:32:39+12:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/GathererApplet.java
r10207 r10219 307 307 zip_fos.close(); 308 308 309 if(source.hasSignalledStop()) { 310 //A cancel has been called. Delete the zip file. 311 DebugStream.println("download_url_zip() cancelled. Cleaning up."); 312 if(new File(zip_fname).delete()) { 313 DebugStream.println("Zip file " + zip_fname + " deleted"); 314 } 315 else { 316 DebugStream.println("Zip file " + zip_fname + " NOT deleted (no big deal). Does it exist?"); 317 } 318 } 309 319 } 310 320 catch (Exception error) { 311 321 error.printStackTrace(); 312 322 } 313 DebugStream.println("Exited download_url_zip"); //debug323 DebugStream.println("Exited download_url_zip"); 314 324 } 315 325
Note:
See TracChangeset
for help on using the changeset viewer.