diff options
author | Jan Ekström <jeebjp@gmail.com> | 2020-12-22 19:05:59 +0200 |
---|---|---|
committer | Jan Ekström <jeebjp@gmail.com> | 2020-12-22 19:09:20 +0200 |
commit | 40ea28c6f9f2f62270c1d07e4d79109d0a2d6b7d (patch) | |
tree | ca3d6e76d112b3c2c4478ff8ec3021a51132bbfb | |
parent | fa903f3eeb461246c4862e76c8ce53e974a58dd9 (diff) | |
download | mpv-40ea28c6f9f2f62270c1d07e4d79109d0a2d6b7d.tar.bz2 mpv-40ea28c6f9f2f62270c1d07e4d79109d0a2d6b7d.tar.xz |
bootstrap: log caught URLError
This enables us to get more of a message than just "Download failed.",
possibly helping people help themselves to get the download going.
References #8417
-rwxr-xr-x | bootstrap.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bootstrap.py b/bootstrap.py index 2d9e8b4294..51b81f5e8e 100755 --- a/bootstrap.py +++ b/bootstrap.py @@ -27,8 +27,8 @@ for WAFURL in WAFURLS: print("Downloading {}...".format(WAFURL)) waf = urlopen(WAFURL).read() break - except URLError: - print("Download failed.") + except URLError as err: + print("Download failed! ({})".format(err)) if not waf: print("Could not download {}.".format(WAFRELEASE)) |