diff options
| -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 |