diff options
Diffstat (limited to 'src/etc/rc.php-fpm_restart')
-rwxr-xr-x | src/etc/rc.php-fpm_restart | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/etc/rc.php-fpm_restart b/src/etc/rc.php-fpm_restart new file mode 100755 index 0000000..6ce04c6 --- /dev/null +++ b/src/etc/rc.php-fpm_restart @@ -0,0 +1,17 @@ +#!/bin/sh + +echo ">>> Killing php-fpm" +/bin/pkill -F /var/run/php-fpm.pid +sleep 2 + +# Run the php.ini setup file and populate +# /usr/local/etc/php.ini and /usr/local/lib/php.ini +/etc/rc.conf_mount_rw +/etc/rc.php_ini_setup 2>/tmp/php_errors.txt +/bin/rm -f /var/run/php-fpm.pid 2>/dev/null +/bin/rm -f /var/run/php-fpm.socket 2>/dev/null +/etc/rc.conf_mount_ro +echo ">>> Restarting php-fpm" | /usr/bin/logger -p daemon.info -i -t rc.php-fpm_restart +echo ">>> Starting php-fpm" +/usr/local/sbin/php-fpm -c /usr/local/lib/php.ini -y /usr/local/lib/php-fpm.conf -RD 2>&1 >/dev/null + |