ProjectController.py
changeset 921 a8db48ec2c31
parent 918 aa136ef12506
child 922 60fafd828a30
--- a/ProjectController.py	Wed Jan 30 23:46:41 2013 +0100
+++ b/ProjectController.py	Sat Feb 02 16:01:02 2013 +1100
@@ -1089,9 +1089,10 @@
                         # depending on how user navigate in the panel
                         # and only ask for last one in follow mode
                     for msgidx in xrange(count-1, dump_end,-1):
-                        msg = self._connector.GetLogMessage(level, msgidx)
-                        if msg is not None :
-                            to_console.insert(0, LogLevels[level]+ ':#' + repr(msgidx) + ": " + msg)
+                        answer = self._connector.GetLogMessage(level, msgidx)
+                        if answer is not None :
+                            msg, tick, tv_sec, tv_nsec = answer 
+                            to_console.insert(0, LogLevels[level]+ ':#' + repr(msgidx) + ":\"" + msg + "\"" + str(map(int, (tick, tv_sec, tv_nsec))))
                         else:
                             to_console.insert(0, LogLevels[level]+ ': No log before #'+repr(msgidx))
                             break;