Greetings, Tom!
At 29.03.2001, 12:52, you wrote:
TL Alexey Borzov [EMAIL PROTECTED] writes:
The development docs state that one can use SET SEED to seed the
random number generator
TL Where? I see no such claim.
Right here:
http://www.postgresql.org/devel-corner/docs/postgres/sql-set.html
Alexey Borzov [EMAIL PROTECTED] writes:
I believe the whole matter was clarified enough, so now you seem to
have two options: either change everything back, or update the docs
(add BIG BOLD letters that SET SEED is now obsolete) ;]
We changed it back, so the docs are still okay ;-)
Alexey Borzov [EMAIL PROTECTED] writes:
The development docs state that one can use SET SEED to seed the
random number generator
Where? I see no such claim. If there's something that leads you
to think that SET SEED and not setseed() is correct, then the docs
need to be fixed.
Tom Lane writes:
Alexey Borzov [EMAIL PROTECTED] writes:
The development docs state that one can use SET SEED to seed the
random number generator
Where? I see no such claim. If there's something that leads you
to think that SET SEED and not setseed() is correct, then the docs
need to
Peter Eisentraut [EMAIL PROTECTED] writes:
Actually, this used to work, but for some reason it's called 'set
random_seed' now. I seem to be responsible for this, although I can't
imagine what the motivation might have been. Should I change it back?
If "set seed" worked in 7.0.* then I think