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