mirror of
https://github.com/postgres/postgres.git
synced 2025-09-11 00:12:06 +03:00
recovered. I did not see any actual leak while testing this in CVS tip, but 8.0 definitely has a problem with leaking the space temporarily palloc'd by BufferSync(). In any case this seems a good idea to forestall similar problems in future. Per report from Arjen van der Meijden.