mirror of https://github.com/postgres/postgres
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,pull/3/head
parent
4c60b80094
commit
f8c81c5dde
Loading…
Reference in new issue