edg-l/ddnet
1
0
Fork 0
mirror of https://github.com/ddnet/ddnet.git synced 2024-11-19 14:38:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

let the download script remove the extraction folder in case it exists

Browse source
This commit is contained in:
oy 2019-01-19 13:42:45 +01:00
parent 689be6529d
commit 6ec984bbd5
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scripts/download.py
View file

@ -8,6 +8,12 @@ def unzip(filename, where):
z = zipfile.ZipFile(filename, "r")
except:
return False
# remove extraction folder, if it exists
if os.path.exists(z.namelist()[0]):
shutil.rmtree(z.namelist()[0])
# extract files
for name in z.namelist():
z.extract(name, where)
z.close()