arts.cc

Go to the documentation of this file.

 
#include "arts.h"
#include <unistd.h>
#include <cstdlib>
#include <stdexcept>
#include "file.h"
#include "messages.h"
 
void arts_exit(int status) {
  extern ofstream report_file;
  extern String out_basename;  // Basis for file name
  ostringstream report_file_ext;
 
  report_file_ext << ".rep";
  cleanup_output_file(report_file,
                      add_basedir(out_basename + report_file_ext.str()));
 
  exit(status);
}
 
 
void arts_exit_with_error_message(const String &m, ArtsOut &out) {
  ostringstream os;
 
  os << m << "\n";
 
  if (out.get_verbosity().get_screen_verbosity() <
      out.get_verbosity().get_file_verbosity()) {
    extern String out_basename;
    char *buf = getcwd(nullptr, 0);
    os << "Detailed report file: " << buf << "/"
       << add_basedir(out_basename + ".rep") << "\n";
    free(buf);
  }
 
  os << "Stopping ARTS execution.\n"
     << "Goodbye.\n";
  out << os.str();
 
  arts_exit();  // No argument means failure.
}