Lines Matching refs:php_fpm_PID
18 php_fpm_PID=@localstatedir@/run/php-fpm.pid
20 php_opts="--fpm-config $php_fpm_CONF --pid $php_fpm_PID"
62 wait_for_pid created $php_fpm_PID
75 if [ ! -r $php_fpm_PID ] ; then
80 kill -QUIT `cat $php_fpm_PID`
82 wait_for_pid removed $php_fpm_PID
93 if [ ! -r $php_fpm_PID ] ; then
98 PID=`cat $php_fpm_PID`
109 if [ ! -r $php_fpm_PID ] ; then
114 kill -TERM `cat $php_fpm_PID`
116 wait_for_pid removed $php_fpm_PID
135 if [ ! -r $php_fpm_PID ] ; then
140 kill -USR2 `cat $php_fpm_PID`