diff options
author | Stanislav Malyshev <stas@php.net> | 2013-06-16 16:55:18 -0700 |
---|---|---|
committer | Stanislav Malyshev <stas@php.net> | 2013-06-16 16:56:29 -0700 |
commit | a770ae36c2ce25fd576557d63ceb244d80f9289d (patch) | |
tree | e5d4b9dc01ea8a4f7964fb5cbf0752bbd63bb2f7 /sapi | |
parent | 44822a7166ba17029e682c1fe0be270c2f076f0a (diff) | |
parent | ee01af7df149da2c511b0f91db2e161eebb2bf58 (diff) | |
download | php-git-a770ae36c2ce25fd576557d63ceb244d80f9289d.tar.gz |
Merge branch 'PHP-5.4' into PHP-5.5
* PHP-5.4:
Fix bug #64764: Add status option to fpm init.d script
Diffstat (limited to 'sapi')
-rw-r--r-- | sapi/fpm/init.d.php-fpm.in | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/sapi/fpm/init.d.php-fpm.in b/sapi/fpm/init.d.php-fpm.in index 49cce79ae9..020b942f14 100644 --- a/sapi/fpm/init.d.php-fpm.in +++ b/sapi/fpm/init.d.php-fpm.in @@ -91,6 +91,20 @@ case "$1" in 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) echo -n "Terminating php-fpm " @@ -131,7 +145,7 @@ case "$1" in ;; *) - echo "Usage: $0 {start|stop|force-quit|restart|reload}" + echo "Usage: $0 {start|stop|force-quit|restart|reload|status}" exit 1 ;; |