changeset 4 | 7c994c98d1df |
parent 0 | ecdfc63274bf |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/ldt_utils/utils/zipfileext.py Tue Jun 08 15:31:42 2010 +0200 @@ -0,0 +1,14 @@ +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() +