log libervia/backend/core/launcher.py @ 4237:a1e7e82a8921

age author description
Sun, 14 Jan 2024 17:48:02 +0100 Goffi core: use a user specific directory for PID file: