Lines Matching refs:stdin_eof
154 static int stdin_eof; /* EOF has been encountered on stderr. */
428 stdin_eof = 1;
442 stdin_eof = 1;
483 if (stdin_eof && buffer_len(&stdin_buffer) == 0) {
581 if (!stdin_eof && packet_not_very_much_data_to_write())
1098 } else if (!stdin_eof) {
1108 stdin_eof = 1;
1230 stdin_eof = 1;
1236 * becomes empty if stdin_eof is set.
1397 stdin_eof = 0;
