Use xbt_die instead of throwing an std::logic_error exception.

diff --git a/msg_thread.cpp b/msg_thread.cpp
index 41c4bfbfaf548f765d49ed4fd21e6294ad54ad47..35ee01a4268eeaf476fe631155d85d43df8b9b5d 100644 (file)
--- a/msg_thread.cpp
+++ b/msg_thread.cpp
@@ -23,14 +23,14 @@ msg_thread::msg_thread(const char* name)
 msg_thread::~msg_thread()
 {
     if (thread)
 msg_thread::~msg_thread()
 {
     if (thread)

-        throw std::logic_error("trying to destroy running thread");
+        xbt_die("ERROR: trying to destroy running thread");

 }
 
 void msg_thread::start()
 {
     mutex.acquire();
     if (started)
 }
 
 void msg_thread::start()
 {
     mutex.acquire();
     if (started)

-        throw std::logic_error("thread was already started");
+        xbt_die("ERROR: thread was already started");

     XBT_DEBUG("launch \"%s\"", thread_name.c_str());
     thread = MSG_process_create(thread_name.c_str(),
                                 msg_thread::start_wrapper,
     XBT_DEBUG("launch \"%s\"", thread_name.c_str());
     thread = MSG_process_create(thread_name.c_str(),
                                 msg_thread::start_wrapper,


@@ -43,7 +43,7 @@ void msg_thread::wait()
 {
     mutex.acquire();
     if (!started)
 {
     mutex.acquire();
     if (!started)

-        throw std::logic_error("trying to wait a thread that was not started");
+        xbt_die("ERROR: trying to wait for a thread that was not started");

     while (thread) {
         XBT_DEBUG("waiting for \"%s\" to terminate",
                   thread_name.c_str());
     while (thread) {
         XBT_DEBUG("waiting for \"%s\" to terminate",
                   thread_name.c_str());