# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1701708688 -3600
# Node ID da7d360a87be28067ee6cd57e447284413d74c64
# Parent  b47f21f2b8fa596d768084b78426e5ada1cc4b3d
core (constants): user platform temporary dir by default for PID files

diff -r b47f21f2b8fa -r da7d360a87be libervia/backend/core/constants.py
--- a/libervia/backend/core/constants.py	Fri Dec 01 18:23:04 2023 +0100
+++ b/libervia/backend/core/constants.py	Mon Dec 04 17:51:28 2023 +0100
@@ -22,7 +22,9 @@
 except ImportError:
     BaseDirectory = None
 from os.path import dirname
+import tempfile
 from typing import Final
+
 from libervia import backend
 
 
@@ -482,7 +484,7 @@
                 ).getAbsolutePath(),
                 Const.APP_NAME_FILE,
             ),
-            "pid_dir": "%(local_dir)s",
+            "pid_dir": tempfile.gettempdir(),
             "log_dir": "%(local_dir)s",
         }
         Const.CONFIG_FILES = [
@@ -525,7 +527,7 @@
             "media_dir": "/usr/share/" + Const.APP_NAME_FILE + "/media",
             "local_dir": BaseDirectory.save_data_path(Const.APP_NAME_FILE),
             "downloads_dir": "~/Downloads/" + Const.APP_NAME_FILE,
-            "pid_dir": "%(local_dir)s",
+            "pid_dir": tempfile.gettempdir(),
             "log_dir": "%(local_dir)s",
         }