18 lines
484 B
Diff
18 lines
484 B
Diff
--- 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`
|
