From ddbe972899f6ab10434e5be1ecd2915e68ee60e0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dani=C3=ABl=20van=20Eeden?= <git@myname.nl>
Date: Wed, 26 Apr 2017 13:45:49 -0700
Subject: [PATCH] An extra digit for runtime timing

---
 utils/utils_time.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/utils_time.cc b/utils/utils_time.cc
index 969a000..7cc1a98 100644
--- a/utils/utils_time.cc
+++ b/utils/utils_time.cc
@@ -80,7 +80,7 @@ std::string MySQL_timer::format_legacy(unsigned long raw_time, int part_seconds,
     str_duration.append((boost::format("%s%d %s") % (str_duration.empty() ? "" : ", ") % minutes % (minutes == 1 ? "minute" : "minutes")).str());
 
   if (part_seconds)
-    str_duration.append((boost::format("%s%.2f sec") % (str_duration.empty() ? "" : ", ") % seconds).str());
+    str_duration.append((boost::format("%s%.3f sec") % (str_duration.empty() ? "" : ", ") % seconds).str());
   else
     str_duration.append((boost::format("%s%d sec") % (str_duration.empty() ? "" : ", ") % (int)seconds).str());