annotate docker/backend-dev/libervia.conf @ 4202:b26339343076

core: use a user specific directory for PID file: default location of pid file is now specific to logged user, this allow to run several instances of Libervia by different users on the same machine without PID conflicts.
author Goffi <goffi@goffi.org>
date Sun, 14 Jan 2024 17:48:02 +0100
parents 22cd3094cd1e
children 51d004e50786
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]
4195
22cd3094cd1e docker (demo): fix starting + better UX:
Goffi <goffi@goffi.org>
parents: 3766
diff changeset
2 log_fmt = [%%(name)s] %%(message)s
3646
0422c735db56 docker: fixes following global renaming
Goffi <goffi@goffi.org>
parents: 3497
diff changeset
3 media_dir = /src/libervia-media