diff options
| author | Simon Sapin <simon.sapin@exyr.org> | 2017-11-27 18:02:53 +0100 |
|---|---|---|
| committer | Simon Sapin <simon.sapin@exyr.org> | 2018-01-10 18:05:44 +0100 |
| commit | 365a139716436bed8e6a178f4539e4a3d31099c4 (patch) | |
| tree | 5cf0a6c5dbd499607519258ebf1ab99ddd66406d /python/servo/util.py | |
| parent | 6dff251e35736fa74eaab6ddbc8b6ecec08ecf48 (diff) | |
| download | servo-365a139716436bed8e6a178f4539e4a3d31099c4.tar.gz servo-365a139716436bed8e6a178f4539e4a3d31099c4.zip | |
Use rustup.rs instead of custom bootstrap
Fixes #11361, closes #18874
Diffstat (limited to 'python/servo/util.py')
| -rw-r--r-- | python/servo/util.py | 7 |
1 files changed, 2 insertions, 5 deletions
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): |