web/ldt_utils/utils/zipfileext.py
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()
-