equal
deleted
inserted
replaced
817 if repo and repo != req.repo: |
817 if repo and repo != req.repo: |
818 repo.close() |
818 repo.close() |
819 |
819 |
820 def _runcommand(ui, options, cmd, cmdfunc): |
820 def _runcommand(ui, options, cmd, cmdfunc): |
821 """Run a command function, possibly with profiling enabled.""" |
821 """Run a command function, possibly with profiling enabled.""" |
|
822 if util.parsebool(options['pager']): |
|
823 ui.pager('internal-always-' + cmd) |
822 try: |
824 try: |
823 return cmdfunc() |
825 return cmdfunc() |
824 except error.SignatureError: |
826 except error.SignatureError: |
825 raise error.CommandError(cmd, _('invalid arguments')) |
827 raise error.CommandError(cmd, _('invalid arguments')) |
826 |
828 |