44 lines
1.0 KiB
Diff
44 lines
1.0 KiB
Diff
|
From ee01af7df149da2c511b0f91db2e161eebb2bf58 Mon Sep 17 00:00:00 2001
|
||
|
|
From: Lior Kaplan <kaplanlior@gmail.com>
|
||
|
|
Date: Thu, 16 May 2013 19:46:53 +0300
|
||
|
|
Subject: [PATCH] Fix bug #64764: Add status option to fpm init.d script
|
||
|
|
|
||
|
|
---
|
||
|
|
sapi/fpm/init.d.php-fpm.in | 16 +++++++++++++++-
|
||
|
|
2 files changed, 16 insertions(+), 1 deletion(-)
|
||
|
|
|
||
|
|
diff --git a/sapi/fpm/init.d.php-fpm.in b/sapi/fpm/init.d.php-fpm.in
|
||
|
|
index 49cce79ae9b6..020b942f148f 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
|
||
|
|
;;
|
||
|
|
|
