Changeset 9942 for trunk/gli/src/org/greenstone/gatherer/util
- Timestamp:
- 2005-05-24T16:39:35+12:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/util/Utility.java
r9894 r9942 881 881 882 882 String zip_fname = col_dir + col_name + ".zip"; 883 int zip_mode = ZipFile.OPEN_READ | ZipFile.OPEN_DELETE; 883 // int zip_mode = ZipFile.OPEN_READ | ZipFile.OPEN_DELETE; 884 int zip_mode = ZipFile.OPEN_READ; 884 885 885 886 try { 886 ZipFile zipfile = new ZipFile(new File(zip_fname), zip_mode); 887 File cfile = new File(zip_fname); 888 ZipFile zipfile = new ZipFile(cfile, zip_mode); 887 889 888 890 Enumeration e = zipfile.entries(); … … 890 892 ZipEntry zipentry = (ZipEntry) e.nextElement(); 891 893 String zentryname = col_dir + zipentry.getName(); 892 File file = new File(zentryname);894 File zfile = new File(zentryname); 893 895 DebugStream.println(" Unzipping: " + zentryname); 894 896 895 897 if (zipentry.isDirectory()) { 896 898 // Create named directory, if it doesn't already exist 897 if (! file.exists() && !file.mkdirs()) {898 System.err.println("Error: unable to create directory " + file);899 if (!zfile.exists() && !zfile.mkdirs()) { 900 System.err.println("Error: unable to create directory " + zfile); 899 901 } 900 902 } … … 903 905 904 906 //Make sure it's parent directory exists. 905 File dir = new File( file.getParent());907 File dir = new File(zfile.getParent()); 906 908 dir.mkdirs(); 907 909 … … 922 924 923 925 dbzis.close(); 926 bzis.close(); 927 zis.close(); 928 924 929 bfzos.close(); 925 } 926 } 930 fzos.close(); 931 } 932 } 933 934 zipfile.close(); 935 936 // delete zip file 937 boolean file_deleted = cfile.delete(); 938 if (file_deleted) { 939 System.err.println("Zip file " + cfile.toString() + " deleted"); 940 } 941 else { 942 System.err.println("Zip file " + cfile.toString() + " NOT deleted"); 943 } 944 945 927 946 } 928 947 catch (ZipException error) {
Note:
See TracChangeset
for help on using the changeset viewer.