Display 3 decimal in time report so that ms can be seen. Thanks to Adam Schroder...

diff --git a/pgbadger b/pgbadger
index 7a9c1e553261ea8b0f0b6ded6542c28896cd43e7..0c32b15863da7f5a7bb33e927621298a8bbf8573 100755 (executable)
--- a/pgbadger
+++ b/pgbadger
@@ -1170,7 +1170,7 @@ sub convert_time
        $time -= ($hours * 3600000);
        my $minutes = int($time / 60000);
        $time -= ($minutes * 60000);
-       my $seconds = sprintf("%0.2f", $time / 1000);
+       my $seconds = sprintf("%0.3f", $time / 1000);
 
        $days    = $days < 1    ? '' : $days . 'd';
        $hours   = $hours < 1   ? '' : $hours . 'h';