devtools/devctl.py
changeset 10662 10942ed172de
parent 10614 57dfde80df11
child 10663 54b8a1f249fb
equal deleted inserted replaced
10661:e6eb0c7c2e98 10662:10942ed172de
   731                     cputime = float(chunks[-3])
   731                     cputime = float(chunks[-3])
   732                     req.append( (clocktime, cputime) )
   732                     req.append( (clocktime, cputime) )
   733                 except Exception as exc:
   733                 except Exception as exc:
   734                     sys.stderr.write('Line %s: %s (%s)\n' % (lineno, exc, line))
   734                     sys.stderr.write('Line %s: %s (%s)\n' % (lineno, exc, line))
   735         stat = []
   735         stat = []
   736         for rql, times in requests.iteritems():
   736         for rql, times in requests.items():
   737             stat.append( (sum(time[0] for time in times),
   737             stat.append( (sum(time[0] for time in times),
   738                           sum(time[1] for time in times),
   738                           sum(time[1] for time in times),
   739                           len(times), rql) )
   739                           len(times), rql) )
   740         stat.sort()
   740         stat.sort()
   741         stat.reverse()
   741         stat.reverse()