2
0
Fork 0
Dieses Repository wurde am 2022-01-07 archiviert. Du kannst Dateien ansehen und es klonen, aber nicht pushen oder Issues/Pull-Requests öffnen.
php-docker/docker-php-entrypoint-custom

13 Zeilen
293 B
Bash

#!/bin/sh
# modified - delete old pid before startup
if [ -f "/web_data/robotter112.de/rank/logs/pid" ]; then rm -f /web_data/robotter112.de/rank/logs/pid; fi
# original base image
set -e
# first arg is `-f` or `--some-option`
if [ "${1#-}" != "$1" ]; then
set -- php-fpm "$@"
fi
exec "$@"