From 75da8a313f667a66e030d00cf9a80e0bc3e0001b Mon Sep 17 00:00:00 2001 From: Someone Date: Sun, 24 Aug 2025 00:01:08 +0200 Subject: [PATCH] roles/server/postgresql/files --- roles/server/postgresql/files/default/postgresql.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/roles/server/postgresql/files/default/postgresql.conf b/roles/server/postgresql/files/default/postgresql.conf index 2eaa0a8..b0986d7 100644 --- a/roles/server/postgresql/files/default/postgresql.conf +++ b/roles/server/postgresql/files/default/postgresql.conf @@ -54,7 +54,7 @@ ident_file = '/etc/postgresql/17/main/pg_ident.conf' # ident configuration file # (change requires restart) # If external_pid_file is not explicitly set, no extra PID file is written. -external_pid_file = '/run/postgresql/15-main.pid' # write an extra PID file +external_pid_file = '/run/postgresql/17-main.pid' # write an extra PID file # (change requires restart) -- 2.47.2