2016-09-08 13:10 GMT+02:00 Craig Ringer <craig.rin...@2ndquadrant.com>:

> On 4 Sep. 2016 3:36 am, "Tom Lane" <t...@sss.pgh.pa.us> wrote:
> >
> > After further thought I concluded that not providing any labeling of
> > days is a bad idea.
> Yeah. I think labeling days is definitely good. I'm glad you changed that.
> Personally I'd like to trim milliseconds when dealing with minute+ long
> runs and seconds from hour+ runs too, since it's all there in the ms output
> and the units output is for human readability. I see the value of retaining
> full precision too, though, and don't feel strongly about it.

It should be hard to read without units. I know so now it is maybe late,
but the current output is not too readable for me. I miss units - 10s,
1m20.5s, 1h 30m 5s



Reply via email to