Tobias Pflug 07a4465260 Use custom ports for postgres/hydra ... Use custom ports so hydra and postgres can run in environments where the default ports are in use already.		2020-05-15 12:37:16 +02:00
..
start-evaluator.sh	Use custom ports for postgres/hydra	2020-05-15 12:37:16 +02:00
start-hydra.sh	Use custom ports for postgres/hydra	2020-05-15 12:37:16 +02:00
start-postgres.sh	Use custom ports for postgres/hydra	2020-05-15 12:37:16 +02:00
start-queue-runner.sh	Use custom ports for postgres/hydra	2020-05-15 12:37:16 +02:00