mirror of
https://github.com/MariaDB/server.git
synced 2025-01-27 17:33:44 +01:00
Use three digits after the decimal point for better resolution and comparability of results.
This commit is contained in:
parent
4829e5a43c
commit
b2e979d868
1 changed files with 1 additions and 1 deletions
|
@ -512,7 +512,7 @@ sub print_value
|
|||
else
|
||||
{
|
||||
$first=1 if ($first == 0); # Assume that it took one second instead of 0
|
||||
$tmp= sprintf("%.2f",$value/$first);
|
||||
$tmp= sprintf("%.3f",$value/$first);
|
||||
}
|
||||
if (defined($flags))
|
||||
{
|
||||
|
|
Loading…
Add table
Reference in a new issue