#include "xbt/sysdep.h"
#include "xbt/log.h"
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(msg_cfg, msg,
- "Configuration support in \ref MSG_API");
-
-
int _msg_init_status = 0; /* 0: beginning of time;
1: pre-inited (cfg_set created);
2: inited (running) */
xbt_cfg_set_string(_msg_cfg_set,"surf_workstation_model", "CLM03");
}
+void msg_config_finalize(void) {
+
+ if (!_msg_init_status)
+ return; /* Not initialized yet. Nothing to do */
+
+ xbt_cfg_free(&_msg_cfg_set);
+ _msg_init_status = 0;
+}
+
/** \brief set a configuration variable
*
* Currently existing configuation variable: