ProjectController.py
changeset 921 a8db48ec2c31
parent 918 aa136ef12506
child 922 60fafd828a30
equal deleted inserted replaced
920:1499a4d225db 921:a8db48ec2c31
  1087                         count - 100) # 100 is purely arbitrary number
  1087                         count - 100) # 100 is purely arbitrary number
  1088                         # dedicated panel should only ask for a small range, 
  1088                         # dedicated panel should only ask for a small range, 
  1089                         # depending on how user navigate in the panel
  1089                         # depending on how user navigate in the panel
  1090                         # and only ask for last one in follow mode
  1090                         # and only ask for last one in follow mode
  1091                     for msgidx in xrange(count-1, dump_end,-1):
  1091                     for msgidx in xrange(count-1, dump_end,-1):
  1092                         msg = self._connector.GetLogMessage(level, msgidx)
  1092                         answer = self._connector.GetLogMessage(level, msgidx)
  1093                         if msg is not None :
  1093                         if answer is not None :
  1094                             to_console.insert(0, LogLevels[level]+ ':#' + repr(msgidx) + ": " + msg)
  1094                             msg, tick, tv_sec, tv_nsec = answer 
       
  1095                             to_console.insert(0, LogLevels[level]+ ':#' + repr(msgidx) + ":\"" + msg + "\"" + str(map(int, (tick, tv_sec, tv_nsec))))
  1095                         else:
  1096                         else:
  1096                             to_console.insert(0, LogLevels[level]+ ': No log before #'+repr(msgidx))
  1097                             to_console.insert(0, LogLevels[level]+ ': No log before #'+repr(msgidx))
  1097                             break;
  1098                             break;
  1098                     self.logger.write("\n".join(to_console))
  1099                     self.logger.write("\n".join(to_console))
  1099                     self.previous_log_count[level] = count
  1100                     self.previous_log_count[level] = count