X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/625fca10d205608488a33657f398f8355cc8575d..6713c5277547eab779ccbac88e16fb15ab0b39f9:/src/xbt/xbt_queue.c

diff --git a/src/xbt/xbt_queue.c b/src/xbt/xbt_queue.c
index caad30aa35..d3bc436de0 100644
--- a/src/xbt/xbt_queue.c
+++ b/src/xbt/xbt_queue.c
@@ -288,6 +288,7 @@ void xbt_queue_shift_timed(xbt_queue_t queue, void* const dst,double delay) {
   }
 
   if (xbt_dynar_length(queue->data) == 0) {
+     xbt_mutex_release(queue->mutex);
      THROW1(timeout_error,0,"Timeout (%f) elapsed, but queue still empty",delay);
   }