# HG changeset patch # User William Roberts # Date 1261491448 0 # Node ID c63eca238256f2129b2416f7023930bb18ca5fec # Parent e6bf005a5f583573a0c7dbddbdee1b290a1f95e2 Make sure that tools_epoc.zip gets unpacked diff -r e6bf005a5f58 -r c63eca238256 downloadkit/downloadkit.py --- a/downloadkit/downloadkit.py Tue Dec 22 13:55:14 2009 +0000 +++ b/downloadkit/downloadkit.py Tue Dec 22 14:17:28 2009 +0000 @@ -171,7 +171,7 @@ print "URL Error:",e.reason , downloadurl # unzip the file (if desired) - if re.match(r"(bin|epoc).*\.zip", filename): + if re.match(r"(bin|tools).*\.zip", filename): unzipthread = unzipfile(filename, 1, 0) # unzip once, don't delete threadlist.append(unzipthread) unzipthread.start()