X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/3634a92de5281a6b19ca03b49b21dad853f386b3..f581799445893c1b953c365fbfb025e3dbcc775a:/synchro.h?ds=inline

diff --git a/synchro.h b/synchro.h
index 45e0901..fed9e87 100644
--- a/synchro.h
+++ b/synchro.h
@@ -32,6 +32,7 @@ public:
             if (e.category != timeout_error)
                 RETHROW;
             xbt_ex_free(e);
+            mutex.acquire();
             return false;       // got a timeout
         }
         return true;