diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-11-06 14:42:19 +0100 |
---|---|---|
committer | Mattia Rizzolo <mattia@debian.org> | 2017-11-06 14:45:31 +0100 |
commit | c45bf9c48100cb6ceb273fc474af52aa1f20721f (patch) | |
tree | 9fb9c2fcb2c090235fff9c24cca8e2667b4b74d6 /hosts/jtx1a-armhf-rb/etc/munin | |
parent | 8bb1c48d65126dd24064930b070a68ff68347cf0 (diff) | |
download | jenkins.debian.net-c45bf9c48100cb6ceb273fc474af52aa1f20721f.tar.xz |
udd-query: remove the temporary file with a trap
in case this script is called with the wrong argument, and in case of
failures, etc, the temporary file would be left around otherwise
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'hosts/jtx1a-armhf-rb/etc/munin')
0 files changed, 0 insertions, 0 deletions