diff options
author | Zach van Rijn <me@zv.io> | 2021-10-06 12:00:18 -0500 |
---|---|---|
committer | Zach van Rijn <me@zv.io> | 2021-10-06 12:00:18 -0500 |
commit | 6391541d783e2551a23e13fcc12d8cccfdc763d9 (patch) | |
tree | 04ff4400e2b6bf1d1bccca85ef2d07c141824395 | |
parent | 72184f66e21753294fd2f848e98ab6935f7c1e30 (diff) | |
download | packages-6391541d783e2551a23e13fcc12d8cccfdc763d9.tar.gz packages-6391541d783e2551a23e13fcc12d8cccfdc763d9.tar.bz2 packages-6391541d783e2551a23e13fcc12d8cccfdc763d9.tar.xz packages-6391541d783e2551a23e13fcc12d8cccfdc763d9.zip |
scripts/healthchecks: detect HTML documents
-rwxr-xr-x | scripts/healthchecks | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/healthchecks b/scripts/healthchecks index 9742ec3fd..3e8773566 100755 --- a/scripts/healthchecks +++ b/scripts/healthchecks @@ -62,6 +62,12 @@ try_down () ## + # The return code may be wrong. Look for HTML documents. + # + file -i "${TEMP}/${name}" | grep 1>/dev/null text/html && okay=-1; + + + ## # Record any possible failure if new, otherwise delete it. # if test ${okay} -ne 0; then |