diff options
Diffstat (limited to 'bin/reproducible_node_health_check.sh')
| -rwxr-xr-x | bin/reproducible_node_health_check.sh | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh index 189bc984..16466822 100755 --- a/bin/reproducible_node_health_check.sh +++ b/bin/reproducible_node_health_check.sh @@ -137,6 +137,25 @@ if [ -z "$HAVEGED" ] ; then fi # +# checks only for the main node +# +if [ "$HOSTNAME" = "$MAINNODE" ] ; then + # + # sometimes deleted jobs come back as zombies + # and we dont know why and when that happens, + # so just report those zombies here. + # + ZOMBIES=$(ls -1d var/lib/jenkins/jobs/ | egrep '(reproducible_builder_amd64|reproducible_builder_i386|reproducible_builder_armhf|reproducible_builder_arm64|chroot-installation_wheezy)') + if [ ! -z "$ZOMBIES" ] ; then + echo "Warning, rise of the jenkins job zombies has started again, these jobs should not exist:" + echo -e "$ZOMBIES" + DIRTY=TRUE + echo + fi +fi + + +# # finally # if ! $DIRTY ; then |