Searched refs:read_pipe (Results 1 – 2 of 2) sorted by relevance
137 read_pipe, write_pipe = os.pipe()153 greeting = os.read(read_pipe, 1024)
587 unique_handle read_pipe(h); in _redirect_pipe_thread() local641 if (!ReadFile(read_pipe.get(), buf, sizeof(buf), &bytes_read, NULL)) { in _redirect_pipe_thread()