mirror of
https://github.com/postgres/postgres.git
synced 2026-05-31 04:48:04 -04:00
6c61b0d93c
function that actually sleeps, instead of busy-waiting. Perhaps this will resolve some of the intermittent stats failures we keep seeing.