]> AND Private Git Repository - loba.git/blobdiff - main.cpp
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
Remove useless temporary references.
[loba.git] / main.cpp
index 8a1d5c8408f74812a78f0e079eb913bfe33b13a4..f31e847d13244248afeccc28aef47a5b00c17510 100644 (file)
--- 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;