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 Regards Pavel
