Re: Pgsql-7.1RC1: SET SEED =

Tom Lane writes:

> Alexey Borzov <borz_off@rdw.ru> 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.

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?

--
Peter Eisentraut      peter_e@gmx.net       http://yi.org/peter-e/