Searched refs:info_input_stream (Results 1 – 1 of 1) sorted by relevance
51 static FILE *info_input_stream = NULL; variable293 if (!info_input_stream) in initialize_info_session()296 info_input_stream = stdin; in initialize_info_session()314 if ((info_input_stream != (FILE *)NULL) && in info_set_input_from_file()315 (info_input_stream != stdin)) in info_set_input_from_file()316 fclose (info_input_stream); in info_set_input_from_file()318 info_input_stream = stream; in info_set_input_from_file()4571 FD_SET (fileno (info_input_stream), &readfds); in info_get_another_input_char()4574 … ready = select (fileno(info_input_stream)+1, &readfds, (fd_set *)NULL, (fd_set *)NULL, &timer); in info_get_another_input_char()4908 tty = fileno (info_input_stream); in info_gather_typeahead()[all …]