log libervia/server/tasks/manager.py @ 1378:e3e303a30a74

age author description
Fri, 20 Nov 2020 17:53:01 +0100 Goffi server: renamed `--dev_mode` to `--dev-mode` and set it as a flag: