diff options
-rwxr-xr-x | bin/reproducible_html_dashboard.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/reproducible_html_dashboard.sh b/bin/reproducible_html_dashboard.sh index ef20f737..4dc7b5d5 100755 --- a/bin/reproducible_html_dashboard.sh +++ b/bin/reproducible_html_dashboard.sh @@ -348,6 +348,10 @@ write_build_performance_stats() { for ARCH in ${ARCHS} ; do write_page "<td>$(ps fax|egrep -B 1 'sleep .*\.1337m'|grep -c $ARCH)</td>" done + write_page "</tr><tr><td class=\"left\">Build jobs currently down due to local problems</td>" + for ARCH in ${ARCHS} ; do + write_page "<td>$(rgrep -l 'Failed to get properties: Connection timed out' $DEBIAN_BASE/build_service/${ARCH}_*/worker.log | wc -l)</td>" + done write_page "</tr><tr><td class=\"left\">Build jobs currently running diffoscope</td>" for ARCH in ${ARCHS} ; do write_page "<td>$(ps fax|grep "diffoscope --html /srv/reproducible-results/rbuild-debian"|grep -c $ARCH)</td>" |