annotate docker/backend-dev/libervia.conf @ 4194:3dbaf179c50d

core (launcher): new `wait_for_service` option: if `wait_for_service` is used in `[DEFAULT]`, the service at the specified host/port is waited for before starting the backend. This is useful in the situation where we need to be sure that something is started before running, e.g. in a container.
author Goffi <goffi@goffi.org>
date Wed, 13 Dec 2023 22:00:25 +0100
parents e5166f60743c
children 22cd3094cd1e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3381
127dde80a0a5 docker: dockers images, first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
1 [DEFAULT]
3646
0422c735db56 docker: fixes following global renaming
Goffi <goffi@goffi.org>
parents: 3497
diff changeset
2 media_dir = /src/libervia-media