stdin_pipe         90 src/do_command.c 	int stdin_pipe[2], stdout_pipe[2];
stdin_pipe        132 src/do_command.c 	if (pipe(stdin_pipe) == -1) {	/* child's stdin */
stdin_pipe        220 src/do_command.c 		close(stdin_pipe[WRITE_PIPE]);
stdin_pipe        226 src/do_command.c 		if (stdin_pipe[READ_PIPE] != STDIN) {
stdin_pipe        227 src/do_command.c 			dup2(stdin_pipe[READ_PIPE], STDIN);
stdin_pipe        228 src/do_command.c 			close(stdin_pipe[READ_PIPE]);
stdin_pipe        278 src/do_command.c 	close(stdin_pipe[READ_PIPE]);
stdin_pipe        293 src/do_command.c 		FILE *out = fdopen(stdin_pipe[WRITE_PIPE], "w");
stdin_pipe        352 src/do_command.c 	close(stdin_pipe[WRITE_PIPE]);