>>>>> "Tom" == Tom Lane <t...@sss.pgh.pa.us> writes:
> Peter Eisentraut <peter.eisentr...@2ndquadrant.com> writes: >> I'm not quite sure what you mean by wanting to do arithmetic on the >> numbers. My phrasing of the problem is that after a long query, you >> might get output like this: >> Time: 1234567.666 ms >> which is pretty useless. Tom> What I mean by that is that not infrequently, I'll run the same Tom> query several times and then want to average the results. That's Tom> easy with awk or similar scripts as long as the numbers are in Tom> straight decimal. Tom> I don't mind if we provide a way to print in Babylonian-inspired Tom> notation(s) as well, but I'm going to be seriously annoyed if Tom> that's the only way to get the output. How about Time: 1234567.666 ms (20m 34.6s) ? -- Andrew (irc:RhodiumToad) -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
