mercurial/dispatch.py
changeset 32340 9c023179e8d0
parent 32291 bd872f64a8ba
child 32377 c942c83ac2ec
--- a/mercurial/dispatch.py	Mon May 08 22:14:56 2017 +0900
+++ b/mercurial/dispatch.py	Sun May 14 15:41:27 2017 +0900
@@ -162,6 +162,11 @@
     ret = None
     try:
         ret = _runcatch(req)
+    except error.ProgrammingError as inst:
+        req.ui.warn(_('** ProgrammingError: %s\n') % inst)
+        if inst.hint:
+            req.ui.warn(_('** (%s)\n') % inst.hint)
+        raise
     except KeyboardInterrupt as inst:
         try:
             if isinstance(inst, error.SignalInterrupt):