Skip to content

Commit

Permalink
Merge pull request #61 from lefessan/z-2020-11-23-wget-fail-on-404
Browse files Browse the repository at this point in the history
add -f to curl to force wget to fail on error
  • Loading branch information
lefessan authored Nov 23, 2020
2 parents 0245d05 + 19fcc29 commit 649ed68
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/drom_lib/misc.ml
Original file line number Diff line number Diff line change
Expand Up @@ -161,6 +161,7 @@ let wget ~url ~output =
if not (Sys.file_exists dirname) then EzFile.make_dir ~p:true dirname;
call
[| "curl";
"-f";
"--write-out";
"%{http_code}\\n";
"--retry";
Expand Down

0 comments on commit 649ed68

Please sign in to comment.