stadtratmonitor/docker-entrypoint.sh

mirror of https://github.com/CodeforLeipzig/stadtratmonitor.git synced 2025-04-10 11:53:02 +02:00
#!/bin/sh
set -e

if [ -f ./tmp/pids/server.pid ]; then
  rm ./tmp/pids/server.pid
fi
fix finally server pid issue at docker container restart 2019-04-14 23:51:40 +02:00			`#!/bin/sh`
			`set -e`

			`if [ -f ./tmp/pids/server.pid ]; then`
			`rm ./tmp/pids/server.pid`
(wip) rewrite dockerfile 2023-05-04 13:57:27 +02:00			`fi`