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