changeset 5 | ae8593287883 |
parent 4 | 7c994c98d1df |
child 6 | 7256b057c180 |
--- a/web/ldt_utils/utils/zipfileext.py Tue Jun 08 15:31:42 2010 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,14 +0,0 @@ -import zipfile, os, os.path - -class ZipFileExt(zipfile.ZipFile): - def unzip_into_dir(self, dir): - if not os.path.exists(dir): - os.mkdir(dir, 0777) - for name in self.namelist(): - if name.endswith('/'): - os.mkdir(os.path.join(dir,name)) - else: - outfile = open(os.path.join(dir,name), 'wb') - outfile.write(self.read(name)) - outfile.close() -