X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9f091df92f0ee7966a3a75ff8461a134c93214a9..55053de21d932fb0cc93eec52ec22ebc38ae936f:/src/xbt/error.c

diff --git a/src/xbt/error.c b/src/xbt/error.c
index 907a1af8df..ff7c3af820 100644
--- a/src/xbt/error.c
+++ b/src/xbt/error.c
@@ -9,6 +9,7 @@
    under the terms of the license (GNU LGPL) which comes with this package. */
 
 #include "xbt/error.h"
+#include "xbt/sysdep.h"
 
 /**
  * \brief Usefull to do nice error repporting messages.
@@ -37,12 +38,21 @@ XBT_LOG_EXTERNAL_CATEGORY(xbt);
 XBT_LOG_DEFAULT_CATEGORY(xbt);
   
 /**
- * @brief Kill the prog
+ * @brief Kill the program with an error message 
  * \param msg 
  *
  * Things are so messed up that the only thing to do now, is to stop the program.
+ *
+ * The message is handled by a CRITICAL logging request
+ *
+ * If you want to pass arguments to the format, you can always write xbt_assert1(0,"fmt",args)
  */
 void xbt_die (const char *msg) {
    CRITICAL1("%s",msg);
    xbt_abort();
 }
+
+/** @brief Kill the program in silence */
+void xbt_abort(void) {
+   abort();
+}