mercurial/dispatch.py
changeset 28534 293adbaa14a7
parent 28520 84cc72c5771e
child 28538 009f58f1ea75
equal deleted inserted replaced
28533:dfd5a6830ea7 28534:293adbaa14a7
   127             if inst.errno != errno.EPIPE:
   127             if inst.errno != errno.EPIPE:
   128                 raise
   128                 raise
   129         ret = -1
   129         ret = -1
   130     finally:
   130     finally:
   131         duration = time.time() - starttime
   131         duration = time.time() - starttime
       
   132         req.ui.flush()
   132         req.ui.log("commandfinish", "%s exited %s after %0.2f seconds\n",
   133         req.ui.log("commandfinish", "%s exited %s after %0.2f seconds\n",
   133                    msg, ret or 0, duration)
   134                    msg, ret or 0, duration)
   134     return ret
   135     return ret
   135 
   136 
   136 def _runcatch(req):
   137 def _runcatch(req):