equal
deleted
inserted
replaced
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): |