Searched refs:php_fpm_PID (Results 1 – 1 of 1) sorted by relevance
62 wait_for_pid created $php_fpm_PID75 if [ ! -r $php_fpm_PID ] ; then80 kill -QUIT `cat $php_fpm_PID`82 wait_for_pid removed $php_fpm_PID93 if [ ! -r $php_fpm_PID ] ; then98 PID=`cat $php_fpm_PID`109 if [ ! -r $php_fpm_PID ] ; then114 kill -TERM `cat $php_fpm_PID`116 wait_for_pid removed $php_fpm_PID135 if [ ! -r $php_fpm_PID ] ; then[all …]
Completed in 3 milliseconds