| #include "stdio_impl.h" | |
| static void close_file(FILE* f) { | |
| if (!f) | |
| return; | |
| FFINALLOCK(f); | |
| if (f->wpos > f->wbase) | |
| f->write(f, 0, 0); | |
| if (f->rpos < f->rend) | |
| f->seek(f, f->rpos - f->rend, SEEK_CUR); | |
| } | |
| void __stdio_exit(void) { | |
| FILE* f; | |
| for (f = *__ofl_lock(); f; f = f->next) | |
| close_file(f); | |
| close_file(stdin); | |
| close_file(stdout); | |
| } |