static void xbt_preinit(void) _XBT_GNUC_CONSTRUCTOR(200);
static void xbt_postexit(void);
-#ifdef _WIN32
-# undef _XBT_NEED_INIT_PRAGMA
-#endif
-
-#ifdef _XBT_NEED_INIT_PRAGMA
-#pragma init (xbt_preinit)
-#endif
-
#ifdef _WIN32
#include <windows.h>
/** @brief Initialize the xbt mechanisms. */
void xbt_init(int *argc, char **argv)
{
+ xbt_set_terminate();
+
if (xbt_initialized++) {
XBT_DEBUG("XBT was initialized %d times.", xbt_initialized);
return;
xbt_log_init(argc, argv);
}
-/** @brief Finalize the xbt mechanisms.
- * @warning this function is deprecated. Just don't call it, there is nothing more to do to finalize xbt*/
-void xbt_exit()
-{
- XBT_WARN("This function is deprecated, you shouldn't use it");
-}
-
-
/* these two functions belong to xbt/sysdep.h, which have no corresponding .c file */
/** @brief like free, but you can be sure that it is a function */
void xbt_free_f(void *p)