arts.cc

Go to the documentation of this file.

/* Copyright (C) 2003-2012 Stefan Buehler <sbuehler@ltu.se>
 
   This program is free software; you can redistribute it and/or modify it
   under the terms of the GNU General Public License as published by the
   Free Software Foundation; either version 2, or (at your option) any
   later version.
 
   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
   USA. */
 
#include <cstdlib>
#include <stdexcept>
#include "arts.h"
#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"
     << "Stopping ARTS execution.\n"
     << "Goodbye.\n";
  out << os.str();
  
  arts_exit();              // No argument means failure.
}