gitweb: update index text
[girocco.git] / monit-setup-files / etc / monit / conf.d / jobd
bloba73c80325de1003fc10d3a4804a30bddbb0e9f46
1 check process jobd with pidfile "/tmp/jobd.lock"
2    group repo
3    start program = "/home/repo/repomgr/jobd/jobd.sh"
4    stop  program = "/home/repo/repomgr/jobd/kill-jobd.sh"
5    if 5 restarts within 5 cycles then timeout
6    depends_on jobd-lock
7    
8 check file jobd-lock path "/tmp/jobd.lock"
9    if timestamp > 15 minutes then restart