Searched refs:php_fpm_PID (Results 1 – 1 of 1) sorted by relevance
64 wait_for_pid created $php_fpm_PID77 if [ ! -r $php_fpm_PID ] ; then82 kill -QUIT `cat $php_fpm_PID`84 wait_for_pid removed $php_fpm_PID95 if [ ! -r $php_fpm_PID ] ; then100 PID=`cat $php_fpm_PID`111 if [ ! -r $php_fpm_PID ] ; then116 kill -TERM `cat $php_fpm_PID`118 wait_for_pid removed $php_fpm_PID137 if [ ! -r $php_fpm_PID ] ; then[all …]
Completed in 4 milliseconds