Brian Anderson 5d625af9f9 rt: Make task killing synchronization possibly more correct
I could not come up with a test but this looks better to me.
2012-05-15 16:13:42 -07:00
..
2012-05-15 16:13:42 -07:00
2012-05-03 14:11:54 -07:00
2012-05-03 14:11:54 -07:00
2012-05-03 14:11:54 -07:00
2012-05-15 16:13:42 -07:00