indextext.html: update notice about ssh host key change
[girocco.git] / jobd / kill-jobd.sh
blobdc8e3a0c0fce44f451426a491165aeca61b2c717
1 #!/bin/sh
3 # kill-jobd - kill -9 jobd.sh and remove the lockfile
5 # Simply adapt this for your crontab:
6 # * * * * * /usr/bin/find /tmp/jobd.lock -amin +15 -exec /home/repo/repomgr/jobd/kill-jobd.sh \;
8 echo "Sorry." | mail -s "Killing jobd on $HOSTNAME automagically. It has been hanging for 15 minutes, now." admin@repo.or.cz
9 kill -9 $(cat /tmp/jobd.lock) && rm /tmp/jobd.lock