diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 2 | ||||
| -rwxr-xr-x | bin/reproducible_html_dashboard.sh | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 3442cd02..bce93b2b 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -735,7 +735,7 @@ check_node_is_up() { if [ $RESULT -ne 0 ] ; then echo "$(date -u) - $NODE seems to be down, sleeping ${SLEEPTIME}min before aborting this job." unregister_build - sleep ${SLEEPTIME}m + sleep ${SLEEPTIME}.1337m exec /srv/jenkins/bin/abort.sh fi set -e diff --git a/bin/reproducible_html_dashboard.sh b/bin/reproducible_html_dashboard.sh index 5ff591b2..e92872f3 100755 --- a/bin/reproducible_html_dashboard.sh +++ b/bin/reproducible_html_dashboard.sh @@ -344,6 +344,10 @@ write_build_performance_stats() { for ARCH in ${ARCHS} ; do write_page "<td>$(ps fax|grep reproducible_build.sh|grep ssh|grep -c $ARCH)</td>" done + write_page "</tr><tr><td class=\"left\">Build jobs currently down due to remote node problems</td>" + 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 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>" |