mercurial/dispatch.py
changeset 16933 30143c3dd102
parent 16839 0a0cf3f26938
child 17228 d1b49b02bc16
equal deleted inserted replaced
16932:7985a9e2ddce 16933:30143c3dd102
   652                 t = (t[0], t[1], t[2], t[3], time.clock())
   652                 t = (t[0], t[1], t[2], t[3], time.clock())
   653             return t
   653             return t
   654         s = get_times()
   654         s = get_times()
   655         def print_time():
   655         def print_time():
   656             t = get_times()
   656             t = get_times()
   657             ui.warn(_("Time: real %.3f secs (user %.3f+%.3f sys %.3f+%.3f)\n") %
   657             ui.warn(_("time: real %.3f secs (user %.3f+%.3f sys %.3f+%.3f)\n") %
   658                 (t[4]-s[4], t[0]-s[0], t[2]-s[2], t[1]-s[1], t[3]-s[3]))
   658                 (t[4]-s[4], t[0]-s[0], t[2]-s[2], t[1]-s[1], t[3]-s[3]))
   659         atexit.register(print_time)
   659         atexit.register(print_time)
   660 
   660 
   661     uis = set([ui, lui])
   661     uis = set([ui, lui])
   662 
   662