<<< Date Index >>>     <<< Thread Index >>>

Re: [PATCH] display search progress with $search_inc



On 2006-11-14 08:20:23 +0000, Rocco Rutte wrote:
> Okay, I didn't actually test it. But still I think it's not
> necessary to call time() on every single message we examine.

Then why not using both $search_inc and times()?

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)