* buffer and write it on disk using this function just before entering
* the event loop again. */
void flushAppendOnlyFile(void) {
* buffer and write it on disk using this function just before entering
* the event loop again. */
void flushAppendOnlyFile(void) {