WRITE_PIPE        220 src/do_command.c 		close(stdin_pipe[WRITE_PIPE]);
WRITE_PIPE        230 src/do_command.c 		if (stdout_pipe[WRITE_PIPE] != STDOUT) {
WRITE_PIPE        231 src/do_command.c 			dup2(stdout_pipe[WRITE_PIPE], STDOUT);
WRITE_PIPE        232 src/do_command.c 			close(stdout_pipe[WRITE_PIPE]);
WRITE_PIPE        279 src/do_command.c 	close(stdout_pipe[WRITE_PIPE]);
WRITE_PIPE        293 src/do_command.c 		FILE *out = fdopen(stdin_pipe[WRITE_PIPE], "w");
WRITE_PIPE        352 src/do_command.c 	close(stdin_pipe[WRITE_PIPE]);