Lines Matching refs:php_fpm_PID
18 php_fpm_PID=@localstatedir@/run/php-fpm.pid
21 php_opts="--fpm-config $php_fpm_CONF --pid $php_fpm_PID"
64 wait_for_pid created $php_fpm_PID
77 if [ ! -r $php_fpm_PID ] ; then
82 kill -QUIT `cat $php_fpm_PID`
84 wait_for_pid removed $php_fpm_PID
95 if [ ! -r $php_fpm_PID ] ; then
100 PID=`cat $php_fpm_PID`
111 if [ ! -r $php_fpm_PID ] ; then
116 kill -TERM `cat $php_fpm_PID`
118 wait_for_pid removed $php_fpm_PID
137 if [ ! -r $php_fpm_PID ] ; then
142 kill -USR2 `cat $php_fpm_PID`
