A shell script to run as CGI in thttpd that (re)launches php-fpm on an Nginx 502 - View it on GitHub