diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/sanity-check | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 39a2d10..601a940 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -105,7 +105,7 @@ touch "${tmp_dir}/messages" trap 'finish' EXIT if [ $# -eq 0 ]; then - set -- git-repositories build-list repos package-database state-files + set -- git-repositories build-list mysql repos package-database state-files fi while [ $# -gt 0 ]; do @@ -385,6 +385,26 @@ while [ $# -gt 0 ]; do ;; + mysql) + + [ ${silence} -gt 0 ] || \ + printf 'checking mysql-sanity-check-file ...' >> \ + "${tmp_dir}/messages" + + if [ -s "${webserver_directory}/mysql-sanity.html" ]; then + if [ ${silence} -le 1 ]; then + printf '\nThere is something wrong with the database:\n' + cat "${webserver_directory}/mysql-sanity.html" + fi + i_am_insane + fi + + [ ${silence} -gt 0 ] || \ + echo ' passed.' >> \ + "${tmp_dir}/messages" + + ;; + *) [ ${silence} -gt 1 ] || \ |