From d7df742dd2624482d66dbbecc34434a2a091a943 Mon Sep 17 00:00:00 2001 From: Gregory Martinez Date: Tue, 23 May 2017 22:07:17 +0200 Subject: [PATCH] modified: ../Core/src/gambit.cpp --- Core/src/gambit.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/Core/src/gambit.cpp b/Core/src/gambit.cpp index 9cdc94067..372ffae88 100755 --- a/Core/src/gambit.cpp +++ b/Core/src/gambit.cpp @@ -273,6 +273,7 @@ int main(int argc, char* argv[]) } #ifdef WITH_MPI + if (signaldata().shutdown_begun()) signaldata().discard_excess_shutdown_messages(); // If all processes receive a POSIX signal to shutdown there might be many of these // (e.g. says 1000 processes all independently get a POSIX signal to shut down;