diff options
author | Holger Levsen <holger@layer-acht.org> | 2012-12-02 15:11:10 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2012-12-02 15:11:10 +0100 |
commit | 67491d9ec934a1067355fe4fbeb68a3e6d197258 (patch) | |
tree | 22ca185ca51295ff2175ce8a0d1bc3e5b81cab2f /etc/munin/plugins/jenkins_builds | |
parent | af574efa5c5ed6452e3d8acd9e6e7c857e4fbe25 (diff) | |
download | jenkins.debian.net-67491d9ec934a1067355fe4fbeb68a3e6d197258.tar.xz |
fixup
Diffstat (limited to 'etc/munin/plugins/jenkins_builds')
-rwxr-xr-x | etc/munin/plugins/jenkins_builds | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/munin/plugins/jenkins_builds b/etc/munin/plugins/jenkins_builds index bb9e44d9..70f3c4ad 100755 --- a/etc/munin/plugins/jenkins_builds +++ b/etc/munin/plugins/jenkins_builds @@ -29,12 +29,13 @@ if [ "$1" = "autoconf" ]; then exit 0 fi +STATEFILE=$MUNIN_PLUGSTATE/$(basename $0) + # 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 -STATEFILE=$MUNIN_PLUGSTATE/$(basename $0) if [ -f $STATEFILE ] && [ "$1" = "" ] ; then cat $STATEFILE exit 0 |