diff options
| author | Michael Orlitzky <mjo@gentoo.org> | 2015-11-19 16:32:54 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2015-11-19 16:33:17 -0500 |
| commit | e8af3741c2780564e21ca7970c1e91b5c22c2324 (patch) | |
| tree | ac04d33aa6f1701836e1d8ebc6552dc03d2e72d7 /dev-lang/php/files/php-fpm-r4.init | |
| parent | 0a9cef65478876b38d509c3a9288358fad72b5cc (diff) | |
| download | gentoo-e8af3741c2780564e21ca7970c1e91b5c22c2324.tar.gz gentoo-e8af3741c2780564e21ca7970c1e91b5c22c2324.tar.bz2 gentoo-e8af3741c2780564e21ca7970c1e91b5c22c2324.zip | |
dev-lang/php: remove old patch and init files.
Most of the patches in $FILESDIR are no longer being used. There's
also an old php-fpm-r4.init script that has been moved to
app-eselect/eselect-php. Get rid of them.
Package-Manager: portage-2.2.20.1
Diffstat (limited to 'dev-lang/php/files/php-fpm-r4.init')
| -rw-r--r-- | dev-lang/php/files/php-fpm-r4.init | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/dev-lang/php/files/php-fpm-r4.init b/dev-lang/php/files/php-fpm-r4.init deleted file mode 100644 index a186d83478c5..000000000000 --- a/dev-lang/php/files/php-fpm-r4.init +++ /dev/null @@ -1,47 +0,0 @@ -#!/sbin/runscript - -set_phpvars() { - PHPSLOT=${SVCNAME#php-fpm-} - [ ${PHPSLOT} = 'php-fpm' ] && PHPSLOT="$(eselect php show fpm)" - - PHP_FPM_CONF="/etc/php/fpm-${PHPSLOT}/php-fpm.conf" - PHP_FPM_PID="/var/run/php-fpm-${PHPSLOT}.pid" -} - -extra_commands="depend" -extra_started_commands="reload" - -depend() { - need net - use apache2 lighttpd nginx -} - -start() { - ebegin "Starting PHP FastCGI Process Manager" - set_phpvars - start-stop-daemon --start --pidfile ${PHP_FPM_PID} --exec \ - /usr/lib/${PHPSLOT}/bin/php-fpm -- -y "${PHP_FPM_CONF}" -g "${PHP_FPM_PID}" - local i=0 - local timeout=5 - while [ ! -f ${PHP_FPM_PID} ] && [ $i -le $timeout ]; do - sleep 1 - i=$(($i + 1)) - done - - [ $timeout -gt $i ] - eend $? -} - -stop() { - ebegin "Stopping PHP FastCGI Process Manager" - set_phpvars - start-stop-daemon --signal QUIT --stop --exec /usr/lib/${PHPSLOT}/bin/php-fpm --pidfile ${PHP_FPM_PID} - eend $? -} - -reload() { - ebegin "Reloading PHP FastCGI Process Manager" - set_phpvars - [ -f ${PHP_FPM_PID} ] && kill -USR2 $(cat ${PHP_FPM_PID}) - eend $? -} |
