mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-08 06:47:39 +08:00
to ensure that we have released buffer refcounts and so forth, rather than putting ad-hoc operations before (some of the calls to) proc_exit. Add commentary to discourage future hackers from repeating that mistake.