Re[2]: Pgsql-7.1RC1: SET SEED = <something>

Greetings, Tom!

At 29.03.2001, 12:52, you wrote:

TL> Alexey Borzov <borz_off(at)rdw(dot)ru> 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

TL> If there's something that leads you
TL> to think that SET SEED and not setseed() is correct, then the docs
TL> need to be fixed.

This something is my experience with Pgsql 7.0.3, which did accept SET
SEED.
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) ;]

--
Yours, Alexey V. Borzov, Webmaster of RDW