Magnus Hagander <magnus@hagander.net> writes:
> If we just didn't add the serial number at the end, then it would be
> impossible to create a shared memory segment for the same port again.
> That protects the port and not the datadir. But what if we change the
> name of the shared memory segment to be that of the data directory
> instead of the port?
That would help if there's only one possible spelling of the data
directory path ... otherwise not so much ...
regards, tom lane