diff options
author | Nick Wellnhofer <wellnhofer@aevum.de> | 2014-12-02 23:44:24 +0100 |
---|---|---|
committer | Nick Wellnhofer <wellnhofer@aevum.de> | 2014-12-02 23:47:49 +0100 |
commit | 7f5ee96078ac6f283767d2b582ea334fe9c18ff4 (patch) | |
tree | b80d1b2a9edbcf1aa12ada60d76801835efbb607 /src/main.c | |
parent | 4cf29883ef1307de329bf381d53e9aeb8e1f65a7 (diff) |
Fix EOF detection
Fixes issue with Ctrl-D having to be pressed twice when reading from
terminal.
Diffstat (limited to 'src/main.c')
-rw-r--r-- | src/main.c | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -71,6 +71,9 @@ int main(int argc, char *argv[]) start_timer(); while ((bytes = fread(buffer, 1, sizeof(buffer), fp)) > 0) { cmark_parser_feed(parser, buffer, bytes); + if (bytes < sizeof(buffer)) { + break; + } } end_timer("processing lines"); @@ -86,6 +89,9 @@ int main(int argc, char *argv[]) while ((bytes = fread(buffer, 1, sizeof(buffer), stdin)) > 0) { cmark_parser_feed(parser, buffer, bytes); + if (bytes < sizeof(buffer)) { + break; + } } } |