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
Merge branch 'master', remote branch 'git-hub-cristian/master'
[simgrid.git]
/
src
/
msg
/
global.c
diff --git
a/src/msg/global.c
b/src/msg/global.c
index
7df2150
..
6aa780d
100644
(file)
--- a/
src/msg/global.c
+++ b/
src/msg/global.c
@@
-110,7
+110,7
@@
void MSG_global_init(int *argc, char **argv)
*/
MSG_error_t MSG_set_channel_number(int number)
{
*/
MSG_error_t MSG_set_channel_number(int number)
{
- xbt_assert
0
((msg_global)
+ xbt_assert((msg_global)
&& (msg_global->max_channel == 0),
"Channel number already set!");
&& (msg_global->max_channel == 0),
"Channel number already set!");
@@
-128,7
+128,7
@@
MSG_error_t MSG_set_channel_number(int number)
*/
int MSG_get_channel_number(void)
{
*/
int MSG_get_channel_number(void)
{
- xbt_assert
0
((msg_global)
+ xbt_assert((msg_global)
&& (msg_global->max_channel != 0),
"Channel number not set yet!");
&& (msg_global->max_channel != 0),
"Channel number not set yet!");
@@
-197,6
+197,11
@@
MSG_error_t MSG_clean(void)
SIMIX_clean();
SIMIX_clean();
+ // Exit the LIB host_lib
+ xbt_lib_free(&host_lib);
+ xbt_lib_free(&link_lib);
+ xbt_lib_free(&as_router_lib);
+
return MSG_OK;
}
return MSG_OK;
}