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

Added caching support to mach bootstrap

Browse source
This commit is contained in:
Adrian Utrilla 2016-04-06 22:56:16 +02:00
parent e36e3be855
commit 78b2c5d323
1 changed files with 21 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

27
python/servo/bootstrap_commands.py
View file

@ -29,18 +29,23 @@ from mach.decorators import (
from servo.command_base import CommandBase, host_triple, BIN_SUFFIX from servo.command_base import CommandBase, host_triple, BIN_SUFFIX
def download(desc, src, writer): def download(desc, src, writer, start_byte=0):
print("Downloading %s..." % desc) if start_byte:
print("Resuming download of %s..." % desc)
else:
print("Downloading %s..." % desc)
dumb = (os.environ.get("TERM") == "dumb") or (not sys.stdout.isatty()) dumb = (os.environ.get("TERM") == "dumb") or (not sys.stdout.isatty())
try: try:
if start_byte:
src = urllib2.Request(src, headers={'Range': 'bytes={}-'.format(start_byte)})
resp = urllib2.urlopen(src) resp = urllib2.urlopen(src)
fsize = None fsize = None
if resp.info().getheader('Content-Length'): if resp.info().getheader('Content-Length'):
fsize = int(resp.info().getheader('Content-Length').strip()) fsize = int(resp.info().getheader('Content-Length').strip()) + start_byte
recved = 0 recved = start_byte
chunk_size = 8192 chunk_size = 8192
while True: while True:
@ -61,11 +66,21 @@ def download(desc, src, writer):
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))
sys.exit(1) sys.exit(1)
except KeyboardInterrupt:
writer.flush()
raise
def download_file(desc, src, dst): def download_file(desc, src, dst):
with open(dst, 'wb') as fd: tmp_path = dst + ".part"
download(desc, src, fd) try:
start_byte = os.path.getsize(tmp_path)
with open(tmp_path, 'ab') as fd:
download(desc, src, fd, start_byte=start_byte)
except os.error:
with open(tmp_path, 'wb') as fd:
download(desc, src, fd)
os.rename(tmp_path, dst)
def download_bytes(desc, src): def download_bytes(desc, src):