]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9692582) | patch
Loop calling CallNamedPipe() several times in case it fails,
authorMagnus Hagander <magnus@hagander.net>
Sun, 15 Feb 2009 13:58:20 +0000 (13:58 +0000)
committerMagnus Hagander <magnus@hagander.net>
Sun, 15 Feb 2009 13:58:20 +0000 (13:58 +0000)
commit37a8cc32407942aaedbfc1dfc4aa4211f259fc67
treea9fc60e80cf7b51890230b1ea62902b972a73e58tree | snapshot
parent96925826100443442677005f91fe86b457d5460bcommit | 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 | history
Unnamed repository; edit this file 'description' to name the repository.