mirror of
https://git.postgresql.org/git/postgresql.git
synced 2025-01-24 18:55:04 +08:00
f8c81c5dde
If we call pg_ctl stop, the server might continue and thus hold a log file for a short time after it has deleted its pid file, (which is when pg_ctl will exit), and so a subsequent attempt to open the log file might fail. We therefore try to open it a few times, sleeping one second between tries, to give the server time to exit. This corrects an error that was observed on the buildfarm. Backpatched to 9.2, |
||
---|---|---|
.. | ||
.gitignore | ||
check.c | ||
controldata.c | ||
dump.c | ||
exec.c | ||
file.c | ||
function.c | ||
IMPLEMENTATION | ||
info.c | ||
Makefile | ||
option.c | ||
page.c | ||
pg_upgrade.c | ||
pg_upgrade.h | ||
relfilenode.c | ||
server.c | ||
tablespace.c | ||
test.sh | ||
TESTING | ||
util.c | ||
version_old_8_3.c | ||
version.c |