void
flush(void)
{
- stdios[ao_cur_stdio].flush();
+ if (stdios[ao_cur_stdio].flush)
+ stdios[ao_cur_stdio].flush();
}
__xdata uint8_t ao_stdin_ready;
char c;
int8_t stdio = ao_cur_stdio;
+ EA = 0;
for (;;) {
c = stdios[stdio].pollchar();
if (c != AO_READ_AGAIN)
if (stdio == ao_cur_stdio)
ao_sleep(&ao_stdin_ready);
}
+ EA = 1;
ao_cur_stdio = stdio;
return c;
}