Function screen_buffer_to_log

src/intrf.c:118–129

}

void screen_buffer_to_log(void)
{
  int i;
  if(intr_buffer_screen[intr_nbr_line][0]!='\0')
    intr_nbr_line++;
  /* to log file */
  /*@
    @ loop variant intr_nbr_line - i;
    @*/
  for(i=0;i<intr_nbr_line;i++)
    log_info("%s\n",intr_buffer_screen[i]);
}

int get_partition_status(const partition_t *partition)
{