#!/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 "$@"