On Fri, Jan 20, 2023 at 9:16 AM Tom Lane <[email protected]> wrote: > Thomas Munro <[email protected]> writes: > > So I think we probably need something like the attached, which I was > > originally trying to avoid. > > Yeah, something like that. I also wonder if you don't need to think > a bit harder about the ordering of the flag checks, in particular > it seems like servicing reload_request before child_exit might be > a good idea (remembering that child_exit might cause launching of > new children, so we want to be up to speed on relevant settings).
Agreed, and done.
