From 5eb07e84bb9c3ee6f66b655ef4ab3b4797e0831a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Wed, 22 Feb 2012 10:15:34 +0100
Subject: [PATCH] Changes the log format to include a timestamp.

---
 utils/alarm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/alarm.ml b/utils/alarm.ml
index 5a9c83f..3387b45 100644
--- a/utils/alarm.ml
+++ b/utils/alarm.ml
@@ -71,7 +71,7 @@ let rec monitor pid start finish mem fmt =
       else
 	begin
 	  if not !Options.quiet then
-	    fprintf fmt "[%f] Memory: current=%ikb max=%ikb\n%!"
+	    fprintf fmt "[% 11.3f] Memory: current=%ikb max=%ikb\n%!"
 	      (current_time -. start) current_mem !max_mem;
 	  usleep !Options.interval;
 	  monitor pid start finish mem fmt
-- 
2.17.1