A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
[mc] exit() instead of abort() in normal operation
[simgrid.git]
/
src
/
mc
/
mc_server.cpp
diff --git
a/src/mc/mc_server.cpp
b/src/mc/mc_server.cpp
index
2c83424
..
ba80984
100644
(file)
--- a/
src/mc/mc_server.cpp
+++ b/
src/mc/mc_server.cpp
@@
-21,6
+21,7
@@
#include "mc_private.h"
#include "mc_ignore.h"
#include "mcer_ignore.h"
+#include "mc_exit.h"
using simgrid::mc::remote;
@@
-238,7
+239,7
@@
bool s_mc_server::handle_events()
case MC_MESSAGE_ASSERTION_FAILED:
MC_report_assertion_error();
-
xbt_abort(
);
+
::exit(SIMGRID_EXIT_SAFETY
);
break;
default: