READ_PIPE         221 src/do_command.c 		close(stdout_pipe[READ_PIPE]);
READ_PIPE         226 src/do_command.c 		if (stdin_pipe[READ_PIPE] != STDIN) {
READ_PIPE         227 src/do_command.c 			dup2(stdin_pipe[READ_PIPE], STDIN);
READ_PIPE         228 src/do_command.c 			close(stdin_pipe[READ_PIPE]);
READ_PIPE         278 src/do_command.c 	close(stdin_pipe[READ_PIPE]);
READ_PIPE         310 src/do_command.c 		close(stdout_pipe[READ_PIPE]);
READ_PIPE         367 src/do_command.c 		FILE *in = fdopen(stdout_pipe[READ_PIPE], "r");