##// END OF EJS Templates
dispatch: catch InterventionRequired and print the message with no prefix
Augie Fackler -
r18932:7b4b9e8e default
parent child Browse files
Show More
@@ -151,6 +151,8 b' def _runcatch(req):'
151 commands.help_(ui, inst.args[0], unknowncmd=True)
151 commands.help_(ui, inst.args[0], unknowncmd=True)
152 except error.UnknownCommand:
152 except error.UnknownCommand:
153 commands.help_(ui, 'shortlist')
153 commands.help_(ui, 'shortlist')
154 except error.InterventionRequired, inst:
155 ui.warn("%s\n" % inst)
154 except util.Abort, inst:
156 except util.Abort, inst:
155 ui.warn(_("abort: %s\n") % inst)
157 ui.warn(_("abort: %s\n") % inst)
156 if inst.hint:
158 if inst.hint:
General Comments 0
You need to be logged in to leave comments. Login now