init.py: use pager to view a (possibly quite long) traceback

diff --git a/lib/python/init.py b/lib/python/init.py
index 15bcb32596c22a22b8768f215dc208a7117db1bd..69b9ac162c3411e0feb341c9312ca3f8dba28dcd 100644 (file)
--- a/lib/python/init.py
+++ b/lib/python/init.py
@@ -158,7 +158,9 @@ def init():
     from traceback import print_exception
 
     def excepthook(etype, evalue, etraceback):
-        print_exception(etype, evalue, etraceback)
+        pprint_pager = PPrintPager()
+        print_exception(etype, evalue, etraceback, file=pprint_pager.stdin)
+        pprint_pager.close()
 
     sys.excepthook = excepthook