check process webkit-8080 with pidfile /var/run/webkit-8080.pid restart program = "/usr/bin/supervisorctl restart webkit:webkit-8080" if uptime > 10 minutes then restart check process webkit-8081 with pidfile /var/run/webkit-8081.pid restart program = "/usr/bin/supervisorctl restart webkit:webkit-8081" if uptime > 10 minutes then restart check process webkit-8082 with pidfile /var/run/webkit-8082.pid restart program = "/usr/bin/supervisorctl restart webkit:webkit-8082" if uptime > 10 minutes then restart check process webkit-8083 with pidfile /var/run/webkit-8083.pid restart program = "/usr/bin/supervisorctl restart webkit:webkit-8083" if uptime > 10 minutes then restart check process webkit-8084 with pidfile /var/run/webkit-8084.pid restart program = "/usr/bin/supervisorctl restart webkit:webkit-8084" if uptime > 10 minutes then restart check process webkit-8085 with pidfile /var/run/webkit-8085.pid restart program = "/usr/bin/supervisorctl restart webkit:webkit-8085" if uptime > 10 minutes then restart check process webkit-8086 with pidfile /var/run/webkit-8086.pid restart program = "/usr/bin/supervisorctl restart webkit:webkit-8086" if uptime > 10 minutes then restart check process webkit-8087 with pidfile /var/run/webkit-8087.pid restart program = "/usr/bin/supervisorctl restart webkit:webkit-8087" if uptime > 10 minutes then restart check process webkit-8088 with pidfile /var/run/webkit-8088.pid restart program = "/usr/bin/supervisorctl restart webkit:webkit-8088" if uptime > 10 minutes then restart check process webkit-8089 with pidfile /var/run/webkit-8089.pid restart program = "/usr/bin/supervisorctl restart webkit:webkit-8089" if uptime > 10 minutes then restart