From acda4bf3fd4ed82d0545923e1c9b100a26f0a92b Mon Sep 17 00:00:00 2001
From: Linus Nordberg <linus@sunet.se>
Date: Mon, 17 Feb 2020 15:54:35 +0100
Subject: Make the $PID part of socket names configurable

---
 p11p-daemon/config/sys.config | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'p11p-daemon/config')

diff --git a/p11p-daemon/config/sys.config b/p11p-daemon/config/sys.config
index c10ce49..0af2837 100644
--- a/p11p-daemon/config/sys.config
+++ b/p11p-daemon/config/sys.config
@@ -3,7 +3,8 @@
  {p11p,
   [
    {loglevel, 3},
-   %%{socket_dir, "/run/p11p"},
+   %%{socket_dir, "/run/p11p"},                 % Default: /run/user/$EUID/p11p.
+   %%{socket_path_has_pid, false},		% Default: true.
    {proxyapp_bin_path, "/usr/lib/x86_64-linux-gnu/p11-kit/p11-kit-remote"},
    {testing_drop_prob, 0},
    {vtokens,
-- 
cgit v1.1