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

Merge pull request #952 from Sworddragon/master

Browse source 
Fixed getting the correct filename
This commit is contained in:
oy 2012-04-21 09:02:33 -07:00
parent 6f79a0562b 30bee5c7a7
commit d9fe52eea6
2 changed files with 4 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
scripts/build.py
View file

@ -82,11 +82,8 @@ work_dir = root_dir + "scripts/work"
def fetch_file(url): def fetch_file(url):
try: try:
print("trying %s" % url) print("trying %s" % url)
real_url = url_lib.urlopen(url).geturl() local = dict(url_lib.urlopen(url).info())['content-disposition'].split('=')[1]
local = real_url.split("/") url_lib.urlretrieve(url, local)
local = local[len(local)-1].split("?")
local = local[0]
url_lib.urlretrieve(real_url, local)
return local return local
except: except:
return False return False

7
scripts/make_release.py
View file

@ -50,11 +50,8 @@ if platform == 'osx':
def fetch_file(url): def fetch_file(url):
try: try:
print("trying %s" % url) print("trying %s" % url)
real_url = url_lib.urlopen(url).geturl() local = dict(url_lib.urlopen(url).info())['content-disposition'].split('=')[1]
local = real_url.split("/") url_lib.urlretrieve(url, local)
local = local[len(local)-1].split("?")
local = local[0]
url_lib.urlretrieve(real_url, local)
return local return local
except: except:
return False return False