--- a/sapi/fpm/init.d.php-fpm.in 2017-01-23 14:27:24.638134185 +0800 +++ b/sapi/fpm/init.d.php-fpm.in 2017-01-23 14:30:03.537031394 +0800 @@ -77,6 +77,14 @@ if [ ! -r $php_fpm_PID ] ; then echo "warning, no pid file found - php-fpm is not running ?" exit 1 + else + PID=`cat $php_fpm_PID` + if ! ps -p $PID | grep -q $PID; then + echo + echo "php-fpm dead but pid file exists" + rm -f $php_fpm_PID + exit 1 + fi fi kill -QUIT `cat $php_fpm_PID`