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 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 [EMAIL PROTECTED] http://yi.org/peter-e/
---------------------------(end of broadcast)---------------------------
TIP 6: Have you searched our list archives?
http://www.postgresql.org/search.mpl
