+
+/*
+ * Function: platform_fflush
+ * Flushes a stream
+ *
+ * Parameters:
+ * stream - Pointer to stream
+ *
+ * Returns:
+ * 0 value if the buffer was succesffuly flushed. The value 0 is also
+ * returned in cases in which the specified stream has no buffer or is
+ * open for reading only. A return value of *EOF* indicates an error.
+ *
+ * Remarks:
+ * Flushes a stream. If the file associated with stream is open for output,
+ * platform_fflush writes to that file the contents of the buffer
+ * associated with the stream. If the stream is open for input,
+ * platform_fflush clears the contents of the buffer. platform_fflush
+ * negates the effect of any prior call to ungetc against stream. Also,
+ * platform_fflush(NULL) flushes all streams opened for output.
+ * The stream remains open after the call. platform_fflush has no effect
+ * on an unbuffered stream.
+ */