diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_node_health_check.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh index 1fc61fb8..cc87584f 100755 --- a/bin/reproducible_node_health_check.sh +++ b/bin/reproducible_node_health_check.sh @@ -152,6 +152,20 @@ if [ "$HOSTNAME" = "$MAINNODE" ] ; then DIRTY=true echo fi + # + # /var/log/jenkins/jenkins.log sometimes grows very fast + # and we don't yet know why, so let's monitor this for now. + JENKINSLOG="find /var/log/jenkins -name jenkins.log -size +42G" + if [ -z "JENKINSLOG" ] ; then + echo "Warning, jenkins.log is larger than 42G, please fix, erroring out now." + exit 1 + else + JENKINSLOG="find /var/log/jenkins -name jenkins.log -size +23G" + if [ -z "JENKINSLOG" ] ; then + echo "Warning, jenkins.log is larger than 23G, please do something…" + DIRTY=true + fi + fi fi |