On Thu, 11 Mar 2004, Josh Berkus wrote:
> Scott,
>
> > I like it. Would a multiplier be acceptable?
> > default_stats_index_multiplier = 10
>
> Yeah, I thought about that, but a multiplier would be harder to manage for
> most people. I mean, what if your default_stats are at 25 and you want
> your index_stats at 40? PITA. Also, if you wanted to increase the default
> stats but *forgot* that the index_stats were a multiplier ...
>
> I think a straight number is less confusing.
But possible more error prone. If you crank up the default statistics to
50, but the index default is still 25... OTOH, you could always have the
setting of used for index default be whichever is greater... hmmm.