web/ldt/utils/zipfileext.py
author samuel huron <admin@cybunk.com>
Mon, 12 Jul 2010 18:12:51 +0200
changeset 59 b5155384c914
parent 0 ecdfc63274bf
permissions -rw-r--r--
V0.09 du player (première gestion de la radio), share , mediafragment

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()