From c7c6fe0839eb2faaacb0957d620a7ce109fec054 Mon Sep 17 00:00:00 2001
From: Philipp  Samfass <philipp.samfass@tum.de>
Date: Wed, 29 Jan 2020 11:59:50 +0100
Subject: [PATCH] added functionality for dirty cleanup of MPI if MPI finalize
 does not succeed to cancel outstanding requests...

---
 lib/Wrapper.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/Wrapper.cpp b/lib/Wrapper.cpp
index 82ba365..0d7c871 100644
--- a/lib/Wrapper.cpp
+++ b/lib/Wrapper.cpp
@@ -209,6 +209,9 @@ int MPI_Finalize() {
   PMPI_Barrier(MPI_COMM_WORLD);
   freeTeamComm();
   Timing::outputTiming();
+#ifdef DirtyCleanUp
+  return MPI_SUCCESS;
+#endif
   return PMPI_Finalize();
 }
 
-- 
GitLab