mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-05 14:27:34 +08:00
This was the last piece of code that took it upon itself to reset the random number sequence --- now we only have srandom() in postmaster start, backend start, and explicit setseed() operations.