From d5a0cb16ca487e49a38a574c490ff4d051eb10dc Mon Sep 17 00:00:00 2001
From: mental <mental@users.sourceforge.net>
Date: Thu, 10 May 2007 01:18:10 +0000
Subject: [PATCH] make sure microseconds get the right number of decimal places

---
 src/debug/timestamp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/debug/timestamp.cpp b/src/debug/timestamp.cpp
index 75447ff35..1c6269756 100644
--- a/src/debug/timestamp.cpp
+++ b/src/debug/timestamp.cpp
@@ -23,7 +23,7 @@ Util::ptr_shared<char> timestamp() {
     Util::ptr_shared<char> result;
     GTimeVal timestamp;
     g_get_current_time(&timestamp);
-    gchar *value = g_strdup_printf("%d.%d", timestamp.tv_sec, timestamp.tv_usec);
+    gchar *value = g_strdup_printf("%d.%06d", timestamp.tv_sec, timestamp.tv_usec);
     result = Util::share_string(value);
     g_free(value);
     return result;
-- 
2.30.2