Romain Vimont 5b10650f22 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).
2024-10-08 18:12:55 +02:00
..
2024-09-15 18:58:53 +02:00
2024-10-08 18:12:55 +02:00
2024-10-06 18:00:56 +02:00
2024-09-15 18:59:27 +02:00
2024-09-25 21:38:09 +02:00