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/
