Hi David, My mistake. Too much fiddling around, but better than no fiddling around. It appears both sides make mistakes, or does your freely passing around work better than mine?
On Tue, 2 May 2023, 17:57 David G. Johnston, <david.g.johns...@gmail.com> wrote: > On Tue, May 2, 2023 at 2:38 AM Michael J. Baars < > mjbaars1977.pgsql.hack...@gmail.com> wrote: > >> I have already tried to set the PostgreSQL 'dynamic_shared_memory_type' >> configuration option to 'mmap', but this does not help. >> >> > Of course it doesn't, that is a server-side configuration. > > "Specifies the dynamic shared memory implementation that the server should > use." > > > https://www.postgresql.org/docs/current/runtime-config-resource.html#RUNTIME-CONFIG-RESOURCE-MEMORY > > David J. > >