Revert "Disable the timer signal while blocked in select() (#5991)"
This reverts commit dd24d6bc. This attempt to fix the problem was misguided: the program might be stuck in a foreign call rather than awaitEvent(), and then the timer signal will never get disabled. The only way to turn off the timer signal in this case is in the timer interrupt handler itself. MERGED from commit 673b6f50
Please register or sign in to comment