> Indeed, setting random_page_cost does the trick. Thanks!
> It seems to make sense to set random_page_cost to this value. Are there any
> drawbacks?

Only if your server was heavily multi-tasking, and as a result had little 
RAM+CPU available.  Then you'd want to raise the value again.

Josh Berkus
Aglio Database Solutions
San Francisco

---------------------------(end of broadcast)---------------------------
TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]

Reply via email to