From 5b10650f22b218b2fb42415aefe4bd6fec6c7e9e Mon Sep 17 00:00:00 2001
From: Romain Vimont <rom@rom1v.com>
Date: Tue, 8 Oct 2024 18:12:55 +0200
Subject: [PATCH] Fix time-limit early interruption

If a value for --time-limit was set, then the thread was not interrupted
on stop (the condvar was not signaled).
---
 app/src/util/timeout.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/util/timeout.c b/app/src/util/timeout.c
index a1665373..159a4681 100644
--- a/app/src/util/timeout.c
+++ b/app/src/util/timeout.c
@@ -62,6 +62,7 @@ void
 sc_timeout_stop(struct sc_timeout *timeout) {
     sc_mutex_lock(&timeout->mutex);
     timeout->stopped = true;
+    sc_cond_signal(&timeout->cond);
     sc_mutex_unlock(&timeout->mutex);
 }