X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/72b259695914c93a27739cad3c186aefbe78a01b..c08e3f74ebabb9acc4064ce8820e2e6db8ecf561:/main.cpp

diff --git a/main.cpp b/main.cpp
index 8a1d5c8..f31e847 100644
--- a/main.cpp
+++ b/main.cpp
@@ -274,6 +274,7 @@ int main(int argc, char* argv[])
 
     proc_mutex = new mutex_t();
     proc_cond = new condition_t();
+    process::set_proc_mutex(proc_mutex);
 
     // Launch the MSG simulation.
     XBT_INFO("Starting simulation at %f...", MSG_get_clock());
@@ -281,6 +282,7 @@ int main(int argc, char* argv[])
     simulated_time = MSG_get_clock();
     XBT_INFO("Simulation ended at %f.", simulated_time);
 
+    process::set_proc_mutex(NULL);
     delete proc_cond;
     delete proc_mutex;