credited database-safety review adopted by original author
Safe Database Shutdown — PR #101118
Review contributor to safer gateway shutdown. I identified that an expired wait budget still allowed the database to close while a worker could be writing. JoaoMarcos44's merged correction skips that close and checkpoint when gateway-owned workers survive, with a regression test proving the safety boundary.
Review contributor to safer gateway shutdown. I identified that an expired wait budget still allowed the database to close while a worker could be writing. JoaoMarcos44's merged correction skips that close and checkpoint when gateway-owned workers survive, with a regression test proving the safety boundary.
This change covers the gateway-owned executor. The separate session-hygiene executor remained a documented dependency.
