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 /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 'Makefile.in')
0 files changed, 0 insertions, 0 deletions