Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-20 15:18:58 +01:00
Code Issues Projects Releases Packages Wiki Activity

Handle HTTP specific errors then other errors when downloading rustc

Browse source
This commit is contained in:
askeing 2016-04-29 02:27:30 +09:00
parent 55d14ffe00
commit 3103cd4b34
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
python/servo/bootstrap_commands.py
View file

@ -63,11 +63,14 @@ def download(desc, src, writer, start_byte=0):
if not dumb: if not dumb:
print() print()
except urllib2.URLError:
print("Error downloading Rust compiler; are you connected to the internet?")
sys.exit(1)
except urllib2.HTTPError, e: except urllib2.HTTPError, e:
print("Download failed (%d): %s - %s" % (e.code, e.reason, src)) print("Download failed (%d): %s - %s" % (e.code, e.reason, src))
if e.code == 403:
print("No Rust compiler binary available for this platform. "
"Please see https://github.com/servo/servo/#prerequisites")
sys.exit(1)
except urllib2.URLError:
print("Error downloading Rust compiler; are you connected to the internet?")
sys.exit(1) sys.exit(1)
except KeyboardInterrupt: except KeyboardInterrupt:
writer.flush() writer.flush()