From 48f5166daf684c53a319824222909d0d9225d557 Mon Sep 17 00:00:00 2001
From: Michael Stapelberg <michael@stapelberg.de>
Date: Sun, 10 Jul 2011 23:11:21 +0200
Subject: [PATCH] log: display time in microseconds when DEBUG_TIMING is set

---
 src/log.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/log.c b/src/log.c
index 99c2d4d3..22b7fffe 100644
--- a/src/log.c
+++ b/src/log.c
@@ -15,6 +15,7 @@
 #include <string.h>
 #include <stdbool.h>
 #include <stdlib.h>
+#include <sys/time.h>
 
 #include "util.h"
 #include "log.h"
@@ -89,7 +90,13 @@ void vlog(char *fmt, va_list args) {
     struct tm *tmp = localtime(&t);
     /* Generate time prefix */
     strftime(timebuf, sizeof(timebuf), "%x %X - ", tmp);
+#ifdef DEBUG_TIMING
+    struct timeval tv;
+    gettimeofday(&tv, NULL);
+    printf("%s%d.%d - ", timebuf, tv.tv_sec, tv.tv_usec);
+#else
     printf("%s", timebuf);
+#endif
     vprintf(fmt, args);
 }