mirror of
https://github.com/postgres/postgres.git
synced 2025-11-12 05:01:15 +03: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.