Rev 3022 | Rev 4420 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3022 | Rev 4201 | ||
|---|---|---|---|
| Line 95... | Line 95... | ||
| 95 | } |
95 | } |
| 96 | 96 | ||
| 97 | int getchar(void) |
97 | int getchar(void) |
| 98 | { |
98 | { |
| 99 | unsigned char c; |
99 | unsigned char c; |
| - | 100 | ||
| - | 101 | flush_stdout(); |
|
| 100 | if (read_stdin((void *) &c, 1) == 1) |
102 | if (read_stdin((void *) &c, 1) == 1) |
| 101 | return c; |
103 | return c; |
| 102 | 104 | ||
| 103 | return EOF; |
105 | return EOF; |
| 104 | } |
106 | } |
| 105 | 107 | ||
| - | 108 | int fflush(FILE *f) |
|
| - | 109 | { |
|
| - | 110 | (void) f; |
|
| - | 111 | return flush_stdout(); |
|
| - | 112 | } |
|
| - | 113 | ||
| 106 | /** @} |
114 | /** @} |
| 107 | */ |
115 | */ |