diff options
| -rw-r--r-- | mesonbuild/wrap/wrap.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/mesonbuild/wrap/wrap.py b/mesonbuild/wrap/wrap.py index f03af6704..16293e882 100644 --- a/mesonbuild/wrap/wrap.py +++ b/mesonbuild/wrap/wrap.py @@ -139,7 +139,13 @@ class Resolver: else: resp = urllib.request.urlopen(url) with contextlib.closing(resp) as resp: - dlsize = int(resp.info()['Content-Length']) + try: + dlsize = int(resp.info()['Content-Length']) + except TypeError: + dlsize = None + if dlsize is None: + print('Downloading file of unknown size.') + return resp.read() print('Download size:', dlsize) print('Downloading: ', end='') sys.stdout.flush() |
