On 20.03.24 15:37, Wolfgang Walther wrote:
>> It is hard to imagine why we would add an extra exec on every Linux
>> server start for this.
>
> Would this be a problem? For a running server this would happen only
> once when the postmaster starts up, AFAICT.
I wonder if it would cause issues with systemd or similar, if the PID of
the running process is not the one that systemd started. If so, there
is probably a workaround, but it would have to be analyzed.