-
Simon Marlow authored
When the RTS is idle, as detected by the timer signal, instead of prodding capabilities from the signal handler (which is not guaranteed to work - pthread_cond_signal() can't be called from signal handlers), create a new thread to do it.
6ff10661