hydra/scripts
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