mirror of https://github.com/postgres/postgres
This seems more correct, because other before_shmem_exit calls may expect the infrastructure that is needed to run queries and access the database to be working, and also because this cleanup has nothing to do with shared memory. There are no known user-visible consequences to this, though, apart from what was previous fixed by commitpull/55/head303640199d
and back-patched as commitbcbc27251d
and commitf7013683d9
, so for now, no back-patch. Bharath Rupireddy Discussion: http://postgr.es/m/CALj2ACWk7j4F2v2fxxYfrroOF=AdFNPr1WsV+AGtHAFQOqm_pw@mail.gmail.com
parent
a677535247
commit
bab150045b
Loading…
Reference in new issue