index 2e37d980af8877f5539388c4f5ff18accffa6399..d68c90cd9bbaa810c056d10c98895ba23a5cc9ee 100644 (file)
elog(ERROR, "must be superuser to check PID liveness");
while (kill(pid, 0) == 0)
+ {
+ CHECK_FOR_INTERRUPTS();
pg_usleep(50000);
+ }
if (errno != ESRCH)
elog(ERROR, "could not check PID %d liveness: %m", pid);