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)
commitbc07a4323684e2fb63a145d6e46a9d8b1416f240
tree3d3b327345c6f62330362dde6f50d9043f0ded1f
parent271fe3c0cb147d878df905e7b169b85d45097faa
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