28 ostringstream report_file_ext;
30 report_file_ext <<
".rep";
55 char *buf = getcwd(
nullptr, 0);
56 os <<
"Detailed report file: " << buf <<
"/"
61 os <<
"Stopping ARTS execution.\n"
void arts_exit_with_error_message(const String &m, ArtsOut &out)
Print error message and exit.
void arts_exit(int status)
This is the exit function of ARTS.
The global header file for ARTS.
const Verbosity & get_verbosity() const
Index get_screen_verbosity() const
Index get_file_verbosity() const
String add_basedir(const std::string_view path)
void cleanup_output_file(ofstream &file, const std::string_view name)
Closes the file.
This file contains basic functions to handle ASCII files.
String out_basename
The basename for the report file and for all other output files.
ofstream report_file
The report file.
Declarations having to do with the four output streams.