downloadkit/downloadkit.py
changeset 127 c63eca238256
parent 126 e6bf005a5f58
child 128 249ca6c587b6
equal deleted inserted replaced
126:e6bf005a5f58 127:c63eca238256
   169 			print "HTTP Error:",e.code , downloadurl
   169 			print "HTTP Error:",e.code , downloadurl
   170 		except urllib2.URLError, e:
   170 		except urllib2.URLError, e:
   171 			print "URL Error:",e.reason , downloadurl
   171 			print "URL Error:",e.reason , downloadurl
   172 
   172 
   173 		# unzip the file (if desired)
   173 		# unzip the file (if desired)
   174 		if re.match(r"(bin|epoc).*\.zip", filename):
   174 		if re.match(r"(bin|tools).*\.zip", filename):
   175 			unzipthread = unzipfile(filename, 1, 0)   # unzip once, don't delete
   175 			unzipthread = unzipfile(filename, 1, 0)   # unzip once, don't delete
   176 			threadlist.append(unzipthread)
   176 			threadlist.append(unzipthread)
   177 			unzipthread.start()
   177 			unzipthread.start()
   178 		elif re.match(r"src_.*\.zip", filename):
   178 		elif re.match(r"src_.*\.zip", filename):
   179 			unzipthread = unzipfile(filename, 1, 1)   # zip of zips, delete top level
   179 			unzipthread = unzipfile(filename, 1, 1)   # zip of zips, delete top level