Still log this as a warning so it is (hopefully) seen.
Signed-off-by: Roland Hieber <[email protected]>
---
scripts/lib/ptxd_make_get.sh | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/scripts/lib/ptxd_make_get.sh b/scripts/lib/ptxd_make_get.sh
index d5003384619b..f9aa3c7a0ec9 100644
--- a/scripts/lib/ptxd_make_get.sh
+++ b/scripts/lib/ptxd_make_get.sh
@@ -97,7 +97,9 @@ ptxd_make_get_http() {
--write-out '\n%{url_effective}\n' \
"${url}" &&
if grep -i "content-type:" "${temp_header}" | tail -n 1 | grep
-q "text/html"; then
- ptxd_bailout "Got HTML file"
+ ptxd_warning "Got HTML file"
+ ptxd_make_serialize_put
+ return 1
fi
ptxd_make_serialize_put
return
--
2.27.0
_______________________________________________
ptxdist mailing list
[email protected]
To unsubscribe, send a mail with subject "unsubscribe" to
[email protected]
