Make pager EINTR safe.

Trundle · Trundle · commit 813d74fcce74 · 2009-06-13T22:31:18.000+02:00
diff --git a/bpython/pager.py b/bpython/pager.py
@@ -59,5 +59,12 @@ def page(data, use_internal=False):
                 return
             if e.errno != errno.EPIPE:
                 raise
-        popen.wait()
+        while True:
+            try:
+                popen.wait()
+            except OSError, e:
+                if e.errno != errno.EINTR:
+                    raise
+            else:
+                break
         curses.doupdate()
