2
0
mirror of https://github.com/boostorg/mpi.git synced 2026-02-25 16:32:22 +00:00

Fixes for bugs 2586 and 2594

[SVN r52820]
This commit is contained in:
Matthias Troyer
2009-05-07 05:48:26 +00:00
parent 1daf91c82d
commit c8fe71649f
6 changed files with 15 additions and 5 deletions

View File

@@ -7,6 +7,7 @@
// Message Passing Interface 1.1 -- 7.1.1. Environmental Inquiries
#include <boost/mpi/environment.hpp>
#include <boost/mpi/exception.hpp>
#include <boost/mpi/detail/mpi_datatype_cache.hpp>
#include <cassert>
#include <exception>
#include <stdexcept>
@@ -45,6 +46,7 @@ environment::~environment()
if (std::uncaught_exception() && abort_on_exception) {
abort(-1);
} else if (!finalized()) {
detail::mpi_datatype_cache().clear();
BOOST_MPI_CHECK_RESULT(MPI_Finalize, ());
}
}