On Fri, Oct 29, 2021 at 9:10 AM Nitin Jadhav <nitinjadhavpostg...@gmail.com> wrote: > > I think you're wrong. If we did that, the previous timer could fire > > right after we set startup_progress_timer_expired = false, and before > > we reschedule the timeout. It seems annoying to have to disable the > > timeout and immediately turn around and re-enable it, but I don't see > > how to avoid the race condition otherwise. > > Right. There is a possibility of race conditions. In that case the > above changes look good to me.
Committed. -- Robert Haas EDB: http://www.enterprisedb.com
