2007-08-24 21:49:07 +02:00
|
|
|
#include <stdio.h>
|
2006-09-07 16:14:53 +02:00
|
|
|
int fflush(FILE* file)
|
2016-05-19 14:15:22 +02:00
|
|
|
// file can be zero, as flush all
|
2006-09-07 16:14:53 +02:00
|
|
|
{
|
2016-05-19 14:15:22 +02:00
|
|
|
if (file && (file->mode & 3)==FILE_OPEN_READ)
|
2006-09-07 16:14:53 +02:00
|
|
|
return 0;
|
2016-05-19 14:15:22 +02:00
|
|
|
|
|
|
|
return(0); // always good, as no write buffering
|
|
|
|
}
|