mirror of
https://github.com/php/php-src.git
synced 2025-08-16 22:18:50 +02:00
Fix bug #64764: Add status option to fpm init.d script
This commit is contained in:
parent
2a93fd1347
commit
ee01af7df1
2 changed files with 16 additions and 1 deletions
1
NEWS
1
NEWS
|
@ -18,6 +18,7 @@ PHP NEWS
|
||||||
|
|
||||||
- FPM:
|
- FPM:
|
||||||
. Fixed Bug #64915 (error_log ignored when daemonize=0). (Remi)
|
. Fixed Bug #64915 (error_log ignored when daemonize=0). (Remi)
|
||||||
|
. Implemented FR #64764 (add support for FPM init.d script). (Lior Kaplan)
|
||||||
|
|
||||||
- PDO:
|
- PDO:
|
||||||
. Fixed bug #63176 (Segmentation fault when instantiate 2 persistent PDO to
|
. Fixed bug #63176 (Segmentation fault when instantiate 2 persistent PDO to
|
||||||
|
|
|
@ -91,6 +91,20 @@ 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 "
|
||||||
|
|
||||||
|
@ -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
|
exit 1
|
||||||
;;
|
;;
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue