Patch init.d.php-fpm.in.patch for FPM related Bug #64764
Patch version 2013-05-02 17:54 UTC
Return to Bug #64764 |
Download this patch
Patch Revisions:
Developer: lior.k@zend.com
--- init.d.php-fpm.in 2013-04-29 15:49:35.000000000 +0300
+++ init.d.php-fpm.in 2013-05-02 20:51:09.771564687 +0300
@@ -91,6 +91,20 @@
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 @@
;;
*)
- echo "Usage: $0 {start|stop|force-quit|restart|reload}"
+ echo "Usage: $0 {start|stop|force-quit|restart|reload|status}"
exit 1
;;
|