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
model-checker : rename file mc_dfs -> mc_liveness
[simgrid.git]
/
src
/
simix
/
smx_synchro.c
diff --git
a/src/simix/smx_synchro.c
b/src/simix/smx_synchro.c
index
8ea578f
..
ca8f8dc
100644
(file)
--- a/
src/simix/smx_synchro.c
+++ b/
src/simix/smx_synchro.c
@@
-99,7
+99,8
@@
static void SIMIX_synchro_finish(smx_action_t action)
case SIMIX_SRC_TIMEOUT:
TRY {
THROWF(timeout_error, 0, "Synchro's wait timeout");
case SIMIX_SRC_TIMEOUT:
TRY {
THROWF(timeout_error, 0, "Synchro's wait timeout");
- } CATCH(req->issuer->running_ctx->exception) {
+ }
+ CATCH(req->issuer->running_ctx->exception) {
req->issuer->doexception = 1;
}
break;
req->issuer->doexception = 1;
}
break;
@@
-107,7
+108,8
@@
static void SIMIX_synchro_finish(smx_action_t action)
case SIMIX_FAILED:
TRY {
THROWF(host_error, 0, "Host failed");
case SIMIX_FAILED:
TRY {
THROWF(host_error, 0, "Host failed");
- } CATCH(req->issuer->running_ctx->exception) {
+ }
+ CATCH(req->issuer->running_ctx->exception) {
req->issuer->doexception = 1;
}
break;
req->issuer->doexception = 1;
}
break;