Function output_file_close

lib-src/sqlite/shell.c:15009–15011

** Close an output file, assuming it is not stderr or stdout */

** Close an output file, assuming it is not stderr or stdout
*/
static void output_file_close(FILE *f){
  if( f && f!=stdout && f!=stderr ) fclose(f);
}

/*
** Try to open an output file.   The names "stdout" and "stderr" are