fix a race where the timer signal could remain turned off, leading to deadlock
authorSimon Marlow <marlowsd@gmail.com>
Wed, 7 Jan 2009 12:06:52 +0000 (12:06 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 7 Jan 2009 12:06:52 +0000 (12:06 +0000)
commit16c651b6d49a99b84821dc47153f0c155430f460
tree132f73257c3229b990ed5a4639494a51317549b1
parent8a317b223ac681f99e75f9a4a89380c92d283049
fix a race where the timer signal could remain turned off, leading to deadlock
rts/Schedule.c