Re: timing for \copy

On Wed, 2006-12-13 at 11:36 -0500, Andrew Dunstan wrote:
> +         if (pset.timing)
> +         {
> +             GETTIMEOFDAY(&after);
> +             elapsed_msec = DIFF_MSEC(&after, &before);
> +             if (success)
> +                 printf(_("Time: %.3f ms\n"), elapsed_msec);
> +
> +         }

Not exactly a big deal, but

    if (pset.timing && success)
    {
        /* ... */
    }

seems a bit clearer, and avoids unnecessary work on failure. You can
also move "elapsed_msec" and "after" inside the "if" block.

Also, I believe headers should #include the headers that they themselves
depend on, so the inclusion of the getttimeofday() or _ftime() headers
could be moved to common.h

-Neil