From 365a139716436bed8e6a178f4539e4a3d31099c4 Mon Sep 17 00:00:00 2001 From: Simon Sapin Date: Mon, 27 Nov 2017 18:02:53 +0100 Subject: Use rustup.rs instead of custom bootstrap Fixes #11361, closes #18874 --- python/servo/util.py | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'python/servo/util.py') diff --git a/python/servo/util.py b/python/servo/util.py index 78158b840da..66f2f11527c 100644 --- a/python/servo/util.py +++ b/python/servo/util.py @@ -16,7 +16,6 @@ import shutil from socket import error as socket_error import StringIO import sys -import tarfile import zipfile import urllib2 import certifi @@ -148,10 +147,8 @@ def download_file(desc, src, dst): def extract(src, dst, movedir=None): - if src.endswith(".zip"): - zipfile.ZipFile(src).extractall(dst) - else: - tarfile.open(src).extractall(dst) + assert src.endswith(".zip") + zipfile.ZipFile(src).extractall(dst) if movedir: for f in os.listdir(movedir): -- cgit v1.2.3