make the File_class::flush() method actually flush the stdio buffers.
Attach a file by drag & drop or click to upload
stewart@willster.(none) authored