diff options
| author | Ganesh Viswanathan <dev@genotrance.com> | 2019-12-20 19:03:50 -0600 |
|---|---|---|
| committer | Ganesh Viswanathan <dev@genotrance.com> | 2019-12-20 19:03:50 -0600 |
| commit | a06081f807e6cbb6922fa022a1a0340b263d7357 (patch) | |
| tree | e055d32b14a7b3382d0aec1e8edc5908f90c1d31 | |
| parent | f71cf837d297192f8cddfa136e8c3cd84bbc81eb (diff) | |
| download | nimterop-a06081f807e6cbb6922fa022a1a0340b263d7357.tar.gz nimterop-a06081f807e6cbb6922fa022a1a0340b263d7357.zip | |
Fix #163 - retries for network calls
| -rw-r--r-- | nimterop/build.nim | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/nimterop/build.nim b/nimterop/build.nim index 5426548..d91472c 100644 --- a/nimterop/build.nim +++ b/nimterop/build.nim @@ -231,12 +231,12 @@ proc downloadUrl*(url, outdir: string) = else: cmd = findExe("wget") if cmd.len != 0: - cmd &= " $# -o $#" + cmd &= " $# -O $#" elif defined(Windows): cmd = "powershell [Net.ServicePointManager]::SecurityProtocol = [Net.SecurityProtocolType]::Tls12; wget $# -OutFile $#" else: doAssert false, "No download tool available - curl, wget" - discard execAction(cmd % [url, (outdir/file).sanitizePath]) + discard execAction(cmd % [url, (outdir/file).sanitizePath], retry = 1) if ext == ".zip": extractZip(file, outdir) @@ -299,11 +299,11 @@ proc gitPull*(url: string, outdir = "", plist = "", checkout = "") = if checkout.len != 0: echo "# Checking out " & checkout - discard execAction(&"cd {outdirQ} && git fetch") + discard execAction(&"cd {outdirQ} && git fetch", retry = 1) discard execAction(&"cd {outdirQ} && git checkout {checkout}") else: echo "# Pulling repository" - discard execAction(&"cd {outdirQ} && git pull --depth=1 origin master") + discard execAction(&"cd {outdirQ} && git pull --depth=1 origin master", retry = 1) proc findFile*(file: string, dir: string, recurse = true, first = false, regex = false): string = ## Find the file in the specified directory |