2014-12-25 12:02:48 +02:00
|
|
|
check process webkit-8080 with pidfile /var/run/webkit-8080.pid
|
|
|
|
|
restart program = "/usr/bin/supervisorctl restart webkit:webkit-8080"
|
2014-12-25 12:35:53 +02:00
|
|
|
if uptime > 10 minutes then restart
|
2014-12-25 12:02:48 +02:00
|
|
|
|
|
|
|
|
check process webkit-8081 with pidfile /var/run/webkit-8081.pid
|
|
|
|
|
restart program = "/usr/bin/supervisorctl restart webkit:webkit-8081"
|
2014-12-25 12:35:53 +02:00
|
|
|
if uptime > 10 minutes then restart
|
2014-12-25 12:02:48 +02:00
|
|
|
|
|
|
|
|
check process webkit-8082 with pidfile /var/run/webkit-8082.pid
|
|
|
|
|
restart program = "/usr/bin/supervisorctl restart webkit:webkit-8082"
|
2014-12-25 12:35:53 +02:00
|
|
|
if uptime > 10 minutes then restart
|
2014-12-25 12:02:48 +02:00
|
|
|
|
|
|
|
|
check process webkit-8083 with pidfile /var/run/webkit-8083.pid
|
|
|
|
|
restart program = "/usr/bin/supervisorctl restart webkit:webkit-8083"
|
2014-12-25 12:35:53 +02:00
|
|
|
if uptime > 10 minutes then restart
|
2014-12-25 12:02:48 +02:00
|
|
|
|
|
|
|
|
check process webkit-8084 with pidfile /var/run/webkit-8084.pid
|
|
|
|
|
restart program = "/usr/bin/supervisorctl restart webkit:webkit-8084"
|
2014-12-25 12:35:53 +02:00
|
|
|
if uptime > 10 minutes then restart
|
2014-12-25 12:02:48 +02:00
|
|
|
|
|
|
|
|
check process webkit-8085 with pidfile /var/run/webkit-8085.pid
|
|
|
|
|
restart program = "/usr/bin/supervisorctl restart webkit:webkit-8085"
|
2014-12-25 12:35:53 +02:00
|
|
|
if uptime > 10 minutes then restart
|
2014-12-25 12:02:48 +02:00
|
|
|
|
|
|
|
|
check process webkit-8086 with pidfile /var/run/webkit-8086.pid
|
|
|
|
|
restart program = "/usr/bin/supervisorctl restart webkit:webkit-8086"
|
2014-12-25 12:35:53 +02:00
|
|
|
if uptime > 10 minutes then restart
|
2014-12-25 12:02:48 +02:00
|
|
|
|
|
|
|
|
check process webkit-8087 with pidfile /var/run/webkit-8087.pid
|
|
|
|
|
restart program = "/usr/bin/supervisorctl restart webkit:webkit-8087"
|
2014-12-25 12:35:53 +02:00
|
|
|
if uptime > 10 minutes then restart
|
2014-12-25 12:02:48 +02:00
|
|
|
|
|
|
|
|
check process webkit-8088 with pidfile /var/run/webkit-8088.pid
|
|
|
|
|
restart program = "/usr/bin/supervisorctl restart webkit:webkit-8088"
|
2014-12-25 12:35:53 +02:00
|
|
|
if uptime > 10 minutes then restart
|
2014-12-25 12:02:48 +02:00
|
|
|
|
|
|
|
|
check process webkit-8089 with pidfile /var/run/webkit-8089.pid
|
|
|
|
|
restart program = "/usr/bin/supervisorctl restart webkit:webkit-8089"
|
2014-12-25 12:35:53 +02:00
|
|
|
if uptime > 10 minutes then restart
|
2014-12-25 12:02:48 +02:00
|
|
|
|
