equal
deleted
inserted
replaced
181 duration = util.timer() - starttime |
181 duration = util.timer() - starttime |
182 req.ui.flush() |
182 req.ui.flush() |
183 if req.ui.logblockedtimes: |
183 if req.ui.logblockedtimes: |
184 req.ui._blockedtimes['command_duration'] = duration * 1000 |
184 req.ui._blockedtimes['command_duration'] = duration * 1000 |
185 req.ui.log('uiblocked', 'ui blocked ms', **req.ui._blockedtimes) |
185 req.ui.log('uiblocked', 'ui blocked ms', **req.ui._blockedtimes) |
186 req.ui.log("commandfinish", "%s exited %s after %0.2f seconds\n", |
186 req.ui.log("commandfinish", "%s exited %d after %0.2f seconds\n", |
187 msg, ret or 0, duration) |
187 msg, ret or 0, duration) |
188 try: |
188 try: |
189 req._runexithandlers() |
189 req._runexithandlers() |
190 except: # exiting, so no re-raises |
190 except: # exiting, so no re-raises |
191 ret = ret or -1 |
191 ret = ret or -1 |