diff options
| author | Holger Levsen <holger@layer-acht.org> | 2012-12-01 16:15:46 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2012-12-01 16:15:46 +0100 |
| commit | ddf0bab5001228b57067d12a624c357bdb59a6cf (patch) | |
| tree | c219d6dc66defd1b55853c7924c476344380a1c7 | |
| parent | a085f800dfa6272f23e10663ea26064822f449d0 (diff) | |
| download | jenkins.debian.net-ddf0bab5001228b57067d12a624c357bdb59a6cf.tar.xz | |
fixup: save state in statefiles and update them every 30min
| -rw-r--r-- | etc/munin/plugin-conf.d/jenkins | 2 | ||||
| -rwxr-xr-x | etc/munin/plugins/jenkins_builds | 4 | ||||
| -rwxr-xr-x | etc/munin/plugins/jenkins_builds_results | 4 | ||||
| -rwxr-xr-x | etc/munin/plugins/jenkins_jobs | 4 |
4 files changed, 8 insertions, 6 deletions
diff --git a/etc/munin/plugin-conf.d/jenkins b/etc/munin/plugin-conf.d/jenkins new file mode 100644 index 00000000..88941049 --- /dev/null +++ b/etc/munin/plugin-conf.d/jenkins @@ -0,0 +1,2 @@ +[jenkins_*] +env.update_interval 45 diff --git a/etc/munin/plugins/jenkins_builds b/etc/munin/plugins/jenkins_builds index 24480de2..2f3a0380 100755 --- a/etc/munin/plugins/jenkins_builds +++ b/etc/munin/plugins/jenkins_builds @@ -35,8 +35,8 @@ if [ -f $STATEFILE ] && [ "$1" = "" ] ; then exit 0 fi -# delete statefile if it's older than 30min -if test `find $STATEFILE -mmin +30` +# delete statefile if it's older than $update_interval set in /etc/munin/plugin-conf.d/jenkins +if test $(find $STATEFILE -mmin +$update_interval) ; then rm -f $STATEFILE fi diff --git a/etc/munin/plugins/jenkins_builds_results b/etc/munin/plugins/jenkins_builds_results index 26dd2e34..2dbd9d70 100755 --- a/etc/munin/plugins/jenkins_builds_results +++ b/etc/munin/plugins/jenkins_builds_results @@ -35,8 +35,8 @@ if [ -f $STATEFILE ] && [ "$1" = "" ] ; then exit 0 fi -# delete statefile if it's older than 30min -if test `find $STATEFILE -mmin +30` +# delete statefile if it's older than $update_interval set in /etc/munin/plugin-conf.d/jenkins +if test $(find $STATEFILE -mmin +$update_interval) ; then rm -f $STATEFILE fi diff --git a/etc/munin/plugins/jenkins_jobs b/etc/munin/plugins/jenkins_jobs index 29898b1f..a755c3e9 100755 --- a/etc/munin/plugins/jenkins_jobs +++ b/etc/munin/plugins/jenkins_jobs @@ -35,8 +35,8 @@ if [ -f $STATEFILE ] && [ "$1" = "" ] ; then exit 0 fi -# delete statefile if it's older than 30min -if test `find $STATEFILE -mmin +30` +# delete statefile if it's older than $update_interval set in /etc/munin/plugin-conf.d/jenkins +if test $(find $STATEFILE -mmin +$update_interval) ; then rm -f $STATEFILE fi |