-
Simon Marlow authored
On a 2.6.24 Linux kernel, it appears that timer_settime() for CLOCK_REALTIME is sometimes hanging for a random amount of time when given a very small interval (we were using 1ns). Using 1ms seems to be fine. Also I installed a 1-second timeout to catch hangs in the future.
4c5fd95d