diff -r 651f67b66c51 -r 7c994c98d1df web/ldt/utils/zipfileext.py
--- a/web/ldt/utils/zipfileext.py	Tue Jun 08 15:10:46 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()
-