Lines Matching defs:batchfp
58 static FILE *batchfp = NULL;
1765 batchfp = stdin;
1767 batchfp = fopen(batchname, "r");
1768 if (batchfp == NULL) {
1776 if (fgets(batchline, sizeof(batchline), batchfp) != NULL) {
1840 if (feof(batchfp)) {
1843 if (batchfp != stdin)
1844 fclose(batchfp);
1848 if (fgets(batchline, sizeof(batchline), batchfp) != NULL) {
1866 if (batchfp != stdin)
1867 fclose(batchfp);
1941 if (batchfp != stdin)
1942 fclose(batchfp);