version 1.1.1.1, 2012/02/21 23:48:06
|
version 1.1.1.2, 2013/07/22 01:32:13
|
Line 18 php_fpm_CONF=@sysconfdir@/php-fpm.conf
|
Line 18 php_fpm_CONF=@sysconfdir@/php-fpm.conf
|
php_fpm_PID=@localstatedir@/run/php-fpm.pid |
php_fpm_PID=@localstatedir@/run/php-fpm.pid |
|
|
|
|
php_opts="--fpm-config $php_fpm_CONF" | php_opts="--fpm-config $php_fpm_CONF --pid $php_fpm_PID" |
|
|
|
|
wait_for_pid () { |
wait_for_pid () { |
Line 54 case "$1" in
|
Line 54 case "$1" in
|
start) |
start) |
echo -n "Starting php-fpm " |
echo -n "Starting php-fpm " |
|
|
$php_fpm_BIN $php_opts | $php_fpm_BIN --daemonize $php_opts |
|
|
if [ "$?" != 0 ] ; then |
if [ "$?" != 0 ] ; then |
echo " failed" |
echo " failed" |
Line 91 case "$1" in
|
Line 91 case "$1" in
|
fi |
fi |
;; |
;; |
|
|
|
status) |
|
if [ ! -r $php_fpm_PID ] ; then |
|
echo "php-fpm is stopped" |
|
exit 0 |
|
fi |
|
|
|
PID=`cat $php_fpm_PID` |
|
if ps -p $PID | grep -q $PID; then |
|
echo "php-fpm (pid $PID) is running..." |
|
else |
|
echo "php-fpm dead but pid file exists" |
|
fi |
|
;; |
|
|
force-quit) |
force-quit) |
echo -n "Terminating php-fpm " |
echo -n "Terminating php-fpm " |
|
|
Line 131 case "$1" in
|
Line 145 case "$1" in
|
;; |
;; |
|
|
*) |
*) |
echo "Usage: $0 {start|stop|force-quit|restart|reload}" | echo "Usage: $0 {start|stop|force-quit|restart|reload|status}" |
exit 1 |
exit 1 |
;; |
;; |
|
|