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

diff --git a/lib/python/init.py b/lib/python/init.py
index c78f546f7cc92f5c72c5bb91f9943454d62a8e09..7ba7d04967c58ecdd4df92586fa9b7b76c71220c 100644 (file)
--- a/lib/python/init.py
+++ b/lib/python/init.py
@@ -211,6 +211,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()