Print timestamp with increased precision.

Patch by David Bolt


git-svn-id: file:///var/local/repositories/ffmpeg/trunk@13217 9553f0bf-9b14-0410-a0b8-cfaf0461ba5b

ffmpeg.c

@@ -1066,7 +1066,7 @@ static void print_report(AVFormatContext **output_files,
         bitrate = (double)(total_size * 8) / ti1 / 1000.0;
 
         snprintf(buf + strlen(buf), sizeof(buf) - strlen(buf),
-            "size=%8.0fkB time=%0.1f bitrate=%6.1fkbits/s",
+            "size=%8.0fkB time=%0.2f bitrate=%6.1fkbits/s",
             (double)total_size / 1024, ti1, bitrate);
 
         if (verbose > 1)