diff options
author | Rickard Green <[email protected]> | 2016-12-28 18:21:44 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2016-12-28 19:21:07 +0100 |
commit | 3eef3cd38c6beb48bfe4c2e26ede2ab2d107c146 (patch) | |
tree | eae3b1d8778d486f3a1125116790e4ea0c7e17bf /erts/emulator/Makefile.in | |
parent | 3473ecd83a7bbe7e0bebb865f25dddb93e3bf10f (diff) | |
download | otp-3eef3cd38c6beb48bfe4c2e26ede2ab2d107c146.tar.gz otp-3eef3cd38c6beb48bfe4c2e26ede2ab2d107c146.tar.bz2 otp-3eef3cd38c6beb48bfe4c2e26ede2ab2d107c146.zip |
Fix crash due to GC of node entry on dirty scheduler
The dirty scheduler failed to set a timer. Dispatch this job
to an ordinary scheduler.
Diffstat (limited to 'erts/emulator/Makefile.in')
0 files changed, 0 insertions, 0 deletions