int fflush(FILE *f)
{
if (!f) {
int r = __stdout_used ? fflush(__stdout_used) : 0;
for (f=*__ofl_lock(); f; f=f->next)
if (f->wpos > f->wbase) r |= fflush(f);
__ofl_unlock();
return r;
}
FLOCK(f);
/* If writing, flush output */
if (f->wpos > f->wbase) {
f->write(f, 0, 0);
if (!f->wpos) {
FUNLOCK(f);
return EOF;
}
}
/* If reading, sync position, per POSIX */
if (f->rpos < f->rend) f->seek(f, f->rpos-f->rend, SEEK_CUR);
/* Clear read and write modes */
f->wpos = f->wbase = f->wend = 0;
f->rpos = f->rend = 0;
FUNLOCK(f);
return 0;
}
void __stdio_exit(void)
{
FILE *f;
for (f=*__ofl_lock(); f; f=f->next) close_file(f);
close_file(__stdin_used);
close_file(__stdout_used);
}
FILE *__ofl_add(FILE *f)
{
FILE **head = __ofl_lock();
f->next = *head;
if (*head) (*head)->prev = f;
*head = f;
__ofl_unlock();
return f;
}
int fflush(FILE* f) {
int r;
if (f) {
FLOCK(f);
r = __fflush_unlocked(f);
FUNLOCK(f);
return r;
}
r = fflush(stdout);
for (f = *__ofl_lock(); f; f = f->next) {
FLOCK(f);
if (f->wpos > f->wbase)
r |= __fflush_unlocked(f);
FUNLOCK(f);
}
__ofl_unlock();
return r;
}
