Teemu Rytkönen <teemu.rytko...@gmail.com> added the comment:

Hi!
I encountered the same problem and I debugged it a bit..
I think it not doing the entire unzipping again, but the problem is that the 
winzip packaged zip actually contains all file and directory entries and it 
fails trying to create already existing directory (because the dir has been 
created for the files that are in it).

I tried a quick and dirty fix for the zipfile _extract_member method, which 
basically should fix the problem! 

So here I create the directory only if it is not already existing, to get those 
empty directories created inside the zip.

zipfile:
959:        if member.filename[-1] == '/':
<add>           if not os.path.isdir(targetpath):
960:                os.mkdir(targetpath)

----------
nosy: +terytkon
versions: +Python 2.6

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue9172>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to