Rev 4511 | Rev 4514 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4511 | Rev 4512 | ||
|---|---|---|---|
| Line 347... | Line 347... | ||
| 347 | int fgetc(FILE *stream) |
347 | int fgetc(FILE *stream) |
| 348 | { |
348 | { |
| 349 | char c; |
349 | char c; |
| 350 | 350 | ||
| 351 | /* This could be made faster by only flushing when needed. */ |
351 | /* This could be made faster by only flushing when needed. */ |
| - | 352 | if (stdout) |
|
| 352 | if (stdout) fflush(stdout); |
353 | fflush(stdout); |
| - | 354 | if (stderr) |
|
| 353 | if (stderr) fflush(stderr); |
355 | fflush(stderr); |
| 354 | 356 | ||
| 355 | if (fread(&c, sizeof(char), 1, stream) < sizeof(char)) |
357 | if (fread(&c, sizeof(char), 1, stream) < sizeof(char)) |
| 356 | return EOF; |
358 | return EOF; |
| 357 | 359 | ||
| 358 | return (int) c; |
360 | return (int) c; |