os: check_error(): Return true for EINTR, to easily restart system calls.

Paul Sokolovsky · Paul Sokolovsky · commit 24419007962f · 2015-01-09T17:29:32.000+02:00
diff --git a/os/os/__init__.py b/os/os/__init__.py
@@ -58,8 +58,13 @@
 
 
 def check_error(ret):
+    # Return True is error was EINTR (which usually means that OS call
+    # should be restarted).
     if ret == -1:
-        raise OSError(errno_.get())
+        e = errno_.get()
+        if e == errno.EINTR:
+            return True
+        raise OSError(e)
 
 def raise_error():
     raise OSError(errno_.get())
