Method CloseOutputFile

tools/shell/shell.cpp:1312–1316

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

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

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