From 7d0b26ce029c74b6a7fb5d3e682eadff4d01a866 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 25 Sep 2008 14:43:35 +0000
Subject: [PATCH] attempt to display timestamps during boot manager steps

---
 source/BootManager.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/source/BootManager.py b/source/BootManager.py
index 1439549..fa37353 100755
--- a/source/BootManager.py
+++ b/source/BootManager.py
@@ -35,6 +35,8 @@ NodeRunStates = {}
 
 class log:
 
+    format="%H:%M:%S(%Z) "
+
     def __init__( self, OutputFilePath= None ):
         if OutputFilePath:
             try:
@@ -46,10 +48,11 @@ class log:
 
     
     def LogEntry( self, str, inc_newline= 1, display_screen= 1 ):
+        now=time.strftime(log.format, time.localtime())
         if self.OutputFile:
-            self.OutputFile.write( str )
+            self.OutputFile.write( now+str )
         if display_screen:
-            sys.stdout.write( str )
+            sys.stdout.write( now+str )
             
         if inc_newline:
             if display_screen:
-- 
2.43.0