Carl Sopchak <carl@sopchak.me> writes:
> <p>Thank you for the quick reply! But I wouldn't have bothered you
> if the documentation stated something to the effect of "While it's
> platform-dependent, if setseed() is not called, the random number
> generator is generally seeded by whatever method the operating
> system provides as a source of randomness, such as /dev/urandom on
> Linux/Unix, or <???> on Windows."</p>
Hmm, I thought this already was documented, but it looks like not.
I'll see what I can do.
regards, tom lane
