Re: Benchmark_Timer patch
| From: | Tomas V.V.Cox | Date: | Sat, 26 Jan 2002 21:49:41 +0000 |
| Subject: | Re: Benchmark_Timer patch | ||
| References: | 1 2 3 4 | Groups: | php.pear.dev |
| Request: | Send a blank email to pear-dev+get-4202@lists.php.net to get a copy of this message | ||
Ludovico Magnocavallo wrote:
>
> Nice comments, Tomas.
>
> Here is a new patch with:
>
> - auto profiling on request only ($timer =& new Benchmark_Timer(true);)
> - get_output method that differentiates between HTTP and command line output
>
> Hope you like it =)
Love it :-) It was a really needed thing. I commited it, read the CVS
entry.
Sebastian, hope you agree with that :-)
Tomas V.V.Cox