def read(logfile, time_format, only_elapsed=False): return [ server.record_from_txt(line, only_elapsed=only_elapsed, time_format=time_format) for line in open(os.path.expanduser(logfile)).readlines() ]
def parse(logfile, time_format): "parses a stream with text formatted as a Timed logfile and shows a summary" records = [server.record_from_txt(line, only_elapsed=True, time_format=time_format) for line in sys.stdin.readlines()] # TODO: make this code better. def output(summary): width = max([len(p[0]) for p in summary]) + 3 print '\n'.join([ "%s%s%s" % (p[0], ' ' * (width - len(p[0])), colored(minutes_to_txt(p[1]), 'red')) for p in summary]) output(server.summarize(records))
def read(logfile, time_format, only_elapsed=False): return [server.record_from_txt(line, only_elapsed=only_elapsed, time_format=time_format) for line in open( os.path.expanduser(logfile) ,'a+').readlines()]