Fix #4074 (I hope).
authorSimon Marlow <marlowsd@gmail.com>
Tue, 18 May 2010 11:32:14 +0000 (11:32 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 18 May 2010 11:32:14 +0000 (11:32 +0000)
commitf9b4bc220a684a970a58dafa9e57d665d29b4121
treea43e79257e8a0b159e47821b202af26c04b8b8e3
parent8e4fd5b3be763fc960db16deddd4efc381b815df
Fix #4074 (I hope).

1. allow multiple threads to call startTimer()/stopTimer() pairs
2. disable the timer around fork() in forkProcess()

A corresponding change to the process package is required.
rts/Schedule.c
rts/Timer.c