diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/impressive-display | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/bin/impressive-display b/bin/impressive-display index e8ce5a9..b07b06b 100755 --- a/bin/impressive-display +++ b/bin/impressive-display @@ -354,11 +354,15 @@ function download_pdffile { NETRCFILE=" --netrc-file $workdir/secrets/${THIS_HOSTNAME}.secret" fi if [ "x$LOG_TO_SYSLOG" = "xyes" ]; then - if ! curl $NETRCFILE "$pdf_uri_orig" 1> "$DOWNLOADED_FILE" 2>/dev/null; then + if ! curl -f $NETRCFILE "$pdf_uri_orig" 1> "$DOWNLOADED_FILE" 2>/dev/null; then $OUTPUT "The curl tool failed in retrieving PDF file. Run this tool interactively to debug problems." + return fi else - curl $NETRCFILE "$pdf_uri_orig" 1> "$DOWNLOADED_FILE" + if ! curl -f $NETRCFILE "$pdf_uri_orig" 1> "$DOWNLOADED_FILE"; then + $OUTPUT "The curl tool failed in retrieving PDF file." + return + fi fi # is the file gzipped? |