projects / tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d63637) | patch
run-checker: add run-checker-cleanup.sh
authorRichard Levitte <levitte@openssl.org>
Wed, 6 Dec 2017 16:15:19 +0000 (17:15 +0100)
committerRichard Levitte <levitte@openssl.org>
Wed, 6 Dec 2017 16:15:19 +0000 (17:15 +0100)
commitc1388cc424c5c1aaab2b1193e7d9a82310a0e6de
tree36d4d919177541c566f50bf34464e69645c5db5atree | snapshot
parent4d6363793d47c66069634a58c0d21c5e52e2e3b7commit | diff
run-checker: add run-checker-cleanup.sh

This is a companion script for run-checker.sh, to be used as emergency
cleanup if run-checker.sh was killed in the middle of its operation
and left behind lock files / directories.

Typically, this would appear in a crontab, like this:

    @reboot  (set -x; cd ${HOME}/run-checker && bash ./run-checker-cleanup.sh)
run-checker/run-checker-cleanup.sh [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.