work/bootstrap/gec17.c
void eif_file_flush(FILE *fp) {
	errno = 0;
	if (fflush(fp) != 0) {
	    esys(); /* Flush failed, raise exception */
	}
#ifdef EIF_WINDOWS
		/* On Windows, it does not write directly to disk, so we have to force it. See KB66052:
		 * http://support.microsoft.com/kb/66052
		 * We ignore bad file descriptor case, as it is most likely when calling it on one of the standard
		 * input/outputs. */
	if ((0 != _commit(fileno(fp))) && (errno != EBADF)) {
		esys();
	}
#endif
}
/*
 * Flush data held in stdio buffer.
 */
Flush data held in stdio buffer.
Flush data held in stdio buffer .
void eif_file_flush(FILE *fp) {
	errno = 0;
	if (fflush(fp) != 0) {
	    esys(); 
	}
#ifdef EIF_WINDOWS
	if ((0 != _commit(fileno(fp))) && (errno != EBADF)) {
		esys();
	}
#endif
}
void eif_file_flush ( FILE * fp ) { errno = 0 ; if ( fflush ( fp ) != 0 ) { esys ( ) ; } #ifdef EIF_WINDOWS if ( ( 0 != _commit ( fileno ( fp ) ) ) && ( errno != EBADF ) ) { esys ( ) ; } #endif }
Flush data held in stdio buffer.
Flush data held in stdio buffer .
/* Flush failed, raise exception */ /* On Windows, it does not write directly to disk, so we have to force it. See KB66052:
		 * http://support.microsoft.com/kb/66052
		 * We ignore bad file descriptor case, as it is most likely when calling it on one of the standard
		 * input/outputs. */