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