annotate docker/backend-dev/libervia.conf @ 3698:a806dcad6bfc

core: don't callback `self.conn_deferred` if already called: if the connection has been lost (e.g. forced disconnection by server), `self.conn_deferred` may have already been called, thus this is now checked to avoid an exception.
author Goffi <goffi@goffi.org>
date Thu, 04 Nov 2021 18:27:36 +0100
parents 0422c735db56
children e5166f60743c
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
3384
f4386002f30f docker (backend): set `background` to `dark` to avoid trouble with autodetection in jp
Goffi <goffi@goffi.org>
parents: 3381
diff changeset
3
3497
73e04040d577 docker: update following name changes:
Goffi <goffi@goffi.org>
parents: 3421
diff changeset
4 [cli]
3384
f4386002f30f docker (backend): set `background` to `dark` to avoid trouble with autodetection in jp
Goffi <goffi@goffi.org>
parents: 3381
diff changeset
5 # FIXME: default "auto" value cause trouble
f4386002f30f docker (backend): set `background` to `dark` to avoid trouble with autodetection in jp
Goffi <goffi@goffi.org>
parents: 3381
diff changeset
6 background = dark