C-level output redirection on windows

src/tarski/utils/command.py

@@ -67,48 +67,3 @@ def silentremove(filename):
     except OSError as e:
         if e.errno != errno.ENOENT:  # errno.ENOENT = no such file or directory
             raise  # re-raise exception if a different error occured
-
-
-libc = ctypes.CDLL(None)
-if sys.platform == "darwin":
-    stdout_name = '__stdoutp'
-else:
-    stdout_name = 'stdout'
-c_stdout = ctypes.c_void_p.in_dll(libc, stdout_name)
-
-
-@contextmanager
-def stdout_redirector(stream):
-    # From: https://eli.thegreenplace.net/2015/redirecting-all-kinds-of-stdout-in-python/
-    # The original fd stdout points to. Usually 1 on POSIX systems.
-    original_stdout_fd = sys.stdout.fileno()
-
-    def _redirect_stdout(to_fd):
-        """Redirect stdout to the given file descriptor."""
-        # Flush the C-level buffer stdout
-        libc.fflush(c_stdout)
-        # Flush and close sys.stdout - also closes the file descriptor (fd)
-        sys.stdout.close()
-        # Make original_stdout_fd point to the same file as to_fd
-        os.dup2(to_fd, original_stdout_fd)
-        # Create a new sys.stdout that points to the redirected fd
-        sys.stdout = io.TextIOWrapper(os.fdopen(original_stdout_fd, 'wb'))
-
-    # Save a copy of the original stdout fd in saved_stdout_fd
-    saved_stdout_fd = os.dup(original_stdout_fd)
-    tfile = None
-    try:
-        # Create a temporary file and redirect stdout to it
-        tfile = tempfile.TemporaryFile(mode='w+b')  # pylint: disable=consider-using-with
-        _redirect_stdout(tfile.fileno())
-        # Yield to caller, then redirect stdout back to the saved fd
-        yield
-        _redirect_stdout(saved_stdout_fd)
-        # Copy contents of temporary file to the given stream
-        tfile.flush()
-        tfile.seek(0, io.SEEK_SET)
-        stream.write(tfile.read())
-    finally:
-        if tfile:
-            tfile.close()
-        os.close(saved_stdout_fd)