Merge pull request #7812 from dhalbert/merge-8.0.x-to-main

Merge #7810 from 8.0.x to main
This commit is contained in:
Jeff Epler 2023-03-29 14:28:34 -05:00 committed by GitHub
commit 703b8b2272
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -72,7 +72,7 @@ STATIC void close_file(file_arg *active_file) {
// nothing
}
STATIC bool is_eof(file_arg *active_file) {
return f_eof(active_file);
return f_eof(active_file) || f_error(active_file);
}
// Return 0 if there is no next character (EOF).