On 7 July 2015 at 21:37, Julien Rouhaud <julien.rouhaud@dalibo.com> wrote:
> Well, I obviously missed that pg_srand48() is only used if the system
> lacks random/srandom, sorry for the noise. So yes, random() must be
> used instead of pg_lrand48().
>
> I'm attaching a new version of the patch fixing this issue just in case.
Thanks for picking this up. I've been trying to find time to come back
to it but been swamped in priority work.
-- Craig Ringer http://www.2ndQuadrant.com/PostgreSQL Development, 24x7 Support, Training & Services
