lib/python/init.py: Fix `Pager.pprint()` under Windows terminal

diff --git a/lib/python/init.py b/lib/python/init.py
index 7249b4a252721afc1f2a807f88ed47d0e7dcc457..79de3586a550444d2ea39205c1327192a840c783 100644 (file)
--- a/lib/python/init.py
+++ b/lib/python/init.py
@@ -212,6 +212,9 @@ def init():
                 pprint(value,
                        stream=ColoredFile(self.stdout,
                                           '\033[1;3%sm' % stdout_color))
+        else:
+            def pprint(self, value):
+                pprint(value)
 
         def close(self):
             self.stdout.close()