file @file1;

/* Scarica dati da buffer nel file */

if (!file1.flush())

{

  /* Errore scaricamento dati buffer */

}