Make the win32 shared memory code try 10 times instead of one if
authorMagnus Hagander <magnus@hagander.net>
Tue, 5 May 2009 09:48:51 +0000 (09:48 +0000)
committerMagnus Hagander <magnus@hagander.net>
Tue, 5 May 2009 09:48:51 +0000 (09:48 +0000)
commit5d540add340040373364cec82caa288e6cc22533
tree46a0374dbe7ec62d41ce18e7f562152f9a178fc5
parent9f4e9bfa9be6040a6dd654e62e13478ab8a08a41
Make the win32 shared memory code try 10 times instead of one if
it fails because the shared memory segment already exists. This
means it can take up to 10 seconds before it reports the error
if it *does* exist, but hopefully it will make the system capable
of restarting even when the server is under high load.
src/backend/port/win32_shmem.c