6 Jan
2023
6 Jan
'23
5:25 p.m.
On Fri Jan 6 11:22:03 2023 +0000, Rémi Bernon wrote:
You'll probably need to signal the condition variable here, for instance to wake up the if the thread if it was paused.
Hm, I had the idea of just putting it in the join function, but this seems better.