Re[2]: [GENERAL] Pgsql-7.1RC1: SET SEED = something
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 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 ---(end of broadcast)--- TIP 2: you can get off all lists at once with the unregister command (send "unregister YourEmailAddressHere" to [EMAIL PROTECTED])
Re: Re[2]: [GENERAL] Pgsql-7.1RC1: SET SEED = something
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 ;-) regards, tom lane ---(end of broadcast)--- TIP 5: Have you checked our extensive FAQ? http://www.postgresql.org/users-lounge/docs/faq.html
Re: [GENERAL] Pgsql-7.1RC1: SET SEED = something
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. regards, tom lane ---(end of broadcast)--- TIP 6: Have you searched our list archives? http://www.postgresql.org/search.mpl
Re: [GENERAL] Pgsql-7.1RC1: SET SEED = something
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
Re: [GENERAL] Pgsql-7.1RC1: SET SEED = something
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 we had better stick with that spelling. (Tries it ... yes it did.) "random_seed" would be a better name if we were working in a green field, but it's not enough better to be worth breaking backwards compatibility for. regards, tom lane ---(end of broadcast)--- TIP 5: Have you checked our extensive FAQ? http://www.postgresql.org/users-lounge/docs/faq.html