projects / users / heikki / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f7626e) | patch
Loop calling CallNamedPipe() several times in case it fails,
authorMagnus Hagander <magnus@hagander.net>
Sun, 15 Feb 2009 13:58:18 +0000 (13:58 +0000)
committerMagnus Hagander <magnus@hagander.net>
Sun, 15 Feb 2009 13:58:18 +0000 (13:58 +0000)
commit2e371183ee8c766d6d166f71060858e14d181220
treeaef86bf9edc22d82d4727bdce2dc0c3e82ef1040tree
parent3f7626e9f2821ba084f3c31fddd9777ba7be6018commit | diff
Loop calling CallNamedPipe() several times in case it fails,
since it can be transient failures, causing kill() to not
properly send signals.

Original patch from Steve Marshall, modified by me.
src/port/kill.c diff | blob | blame | history
Heikki's random PostgreSQL patches