Make the win32 shared memory code try 10 times instead of one if
commit66e420a87cbc701487370314edc4cfd04433ab92
authormha <mha>
Tue, 5 May 2009 09:48:51 +0000 (5 09:48 +0000)
committermha <mha>
Tue, 5 May 2009 09:48:51 +0000 (5 09:48 +0000)
treee55f4ea2225bbf1b74a2137abba2cc3d4376a3b0
parent4319ff955c4281d6d0fae6aef727756c4d68fa9c
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