diff options
Diffstat (limited to 'src/comm')
| -rw-r--r-- | src/comm/CactusDefaultComm.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/comm/CactusDefaultComm.c b/src/comm/CactusDefaultComm.c index 7644d159..71b1f5be 100644 --- a/src/comm/CactusDefaultComm.c +++ b/src/comm/CactusDefaultComm.c @@ -420,7 +420,11 @@ int CactusDefaultAbort (cGH *GH, int retval) call CCTK_Abort() before that those messages wouldn't be seen. */ fflush (stdout); fflush (stderr); + +#ifdef HAVE_UNISTD_H sleep (5); +#endif + CACTUS_MPI_ERROR (MPI_Abort (MPI_COMM_WORLD, retval)); } #else |