diff options
-rw-r--r-- | tool/downloader.rb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tool/downloader.rb b/tool/downloader.rb index c6f6c4701c..640a55ab45 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -277,6 +277,8 @@ class Downloader $stderr.puts "retrying #{e.class} (#{e.message}) after #{times ** 2} seconds..." sleep(times ** 2) retry + else + raise end end end |