diff options
| -rw-r--r-- | src/luarocks/fs/unix/tools.lua | 2 | ||||
| -rw-r--r-- | src/luarocks/fs/win32/tools.lua | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/luarocks/fs/unix/tools.lua b/src/luarocks/fs/unix/tools.lua index 7168cecc..dad42a65 100644 --- a/src/luarocks/fs/unix/tools.lua +++ b/src/luarocks/fs/unix/tools.lua | |||
| @@ -248,7 +248,7 @@ function tools.download(url, filename, cache) | |||
| 248 | if cfg.downloader == "wget" then | 248 | if cfg.downloader == "wget" then |
| 249 | local wget_cmd = vars.WGET.." --no-check-certificate --no-cache --user-agent='"..cfg.user_agent.." via wget' --quiet " | 249 | local wget_cmd = vars.WGET.." --no-check-certificate --no-cache --user-agent='"..cfg.user_agent.." via wget' --quiet " |
| 250 | if cfg.connection_timeout > 0 then | 250 | if cfg.connection_timeout > 0 then |
| 251 | wget_cmd = wget_cmd .. "--timeout="..tonumber(cfg.connection_timeout).." " | 251 | wget_cmd = wget_cmd .. "--timeout="..tonumber(cfg.connection_timeout).." --tries=1 " |
| 252 | end | 252 | end |
| 253 | if cache then | 253 | if cache then |
| 254 | -- --timestamping is incompatible with --output-document, | 254 | -- --timestamping is incompatible with --output-document, |
diff --git a/src/luarocks/fs/win32/tools.lua b/src/luarocks/fs/win32/tools.lua index df468c5d..f5cbc68b 100644 --- a/src/luarocks/fs/win32/tools.lua +++ b/src/luarocks/fs/win32/tools.lua | |||
| @@ -258,7 +258,7 @@ function tools.download(url, filename, cache) | |||
| 258 | if cfg.downloader == "wget" then | 258 | if cfg.downloader == "wget" then |
| 259 | local wget_cmd = fs.Q(vars.WGET).." --no-check-certificate --no-cache --user-agent=\""..cfg.user_agent.." via wget\" --quiet " | 259 | local wget_cmd = fs.Q(vars.WGET).." --no-check-certificate --no-cache --user-agent=\""..cfg.user_agent.." via wget\" --quiet " |
| 260 | if cfg.connection_timeout > 0 then | 260 | if cfg.connection_timeout > 0 then |
| 261 | wget_cmd = wget_cmd .. "--timeout="..tonumber(cfg.connection_timeout).." " | 261 | wget_cmd = wget_cmd .. "--timeout="..tonumber(cfg.connection_timeout).." --tries=1 " |
| 262 | end | 262 | end |
| 263 | if cache then | 263 | if cache then |
| 264 | -- --timestamping is incompatible with --output-document, | 264 | -- --timestamping is incompatible with --output-document, |