commit d60efafe2fa2581d8b6f10aeb80beef5a77b8093
author David Pursehouse <dpursehouse@collab.net> Wed Jul 03 13:50:15 2019 +0900
committer David Pursehouse <dpursehouse@collab.net> Wed Jul 03 13:50:15 2019 +0900
tree 0ca5726a48f738efda0b9c31e21d41fe96ce2834
parent 92f6cad246b41c5b2f9464ecbd4b7c635015319f
parent b750c0adec6deebb1063219787a97fab1d32724b

Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  download_file.py: Synchronize curl options with gerrit core

Change-Id: Ibcdf902375022520610a9d44d3da25c3dc7e6565

tools/download_file.py

diff --git a/tools/download_file.py b/tools/download_file.py
index ecf00de..534a6d5 100755
--- a/tools/download_file.py
+++ b/tools/download_file.py
@@ -103,7 +103,7 @@
 
   print('Download %s' % src_url, file=stderr)
   try:
-    check_call(['curl', '--proxy-anyauth', '-ksfo', cache_ent, src_url])
+    check_call(['curl', '--proxy-anyauth', '-ksSfLo', cache_ent, src_url])
   except OSError as err:
     print('could not invoke curl: %s\nis curl installed?' % err, file=stderr)
     exit(1)