Function log_close

src/log.c:194–203

@ @ requires log_handle == \null || \valid(log_handle); @ assigns \result,errno,log_handle; @ assigns f_status; @*/

  @ assigns f_status;
  @*/
int log_close(void)
{
  if(log_handle!=NULL)
  {
    if(fclose(log_handle))
      f_status=1;
    log_handle=NULL;
  }
  return f_status;
}

/*@
  @ requires log_handle == \null || \valid(log_handle);