Fix a race condition that caused pg_database_size() and pg_tablespace_size()
authorAlvaro Herrera <alvherre@alvh.no-ip.org>
Sun, 11 Mar 2007 06:44:11 +0000 (06:44 +0000)
committerAlvaro Herrera <alvherre@alvh.no-ip.org>
Sun, 11 Mar 2007 06:44:11 +0000 (06:44 +0000)
commit8a7b38617a5e1390dc993faf3c86c82d2202de15
tree7bd5936d0405e404046f795ed54cb9abef2121ff
parent5ea7b175f6e123d604e3cb11303f0dcf194a7b9b
Fix a race condition that caused pg_database_size() and pg_tablespace_size()
to fail if an object was removed between calls to ReadDir() and stat().
Per discussion in pgsql-hackers.

http://archives.postgresql.org/pgsql-hackers/2007-03/msg00671.php

Bug report and patch by Michael Fuhr.
src/backend/utils/adt/dbsize.c