projects / users / simon / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc7adfd) | 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)
commit8673a92ef5d2091a7783644a454595c925e24291
tree328059fdf8d0646e1af1e4637a2a7bb36a38e516tree
parentdc7adfd39e298ead3b87711e860b14eb5993a341commit | 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
Simon's dev repository