Searched refs:info_input_stream (Results 1 – 1 of 1) sorted by relevance
49 static FILE *info_input_stream = NULL; variable291 if (!info_input_stream) in initialize_info_session()294 info_input_stream = stdin; in initialize_info_session()312 if ((info_input_stream != (FILE *)NULL) && in info_set_input_from_file()313 (info_input_stream != stdin)) in info_set_input_from_file()314 fclose (info_input_stream); in info_set_input_from_file()316 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 …]