diff options
| author | Rickard Green <[email protected]> | 2016-08-11 15:45:05 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-08-11 16:22:18 +0200 |
| commit | 17c838402c6d71aef041548ad36ee66db6f24a56 (patch) | |
| tree | 7d0074dc86913ddb0812157e0d8513d729cbc0ff /erts/emulator/valgrind | |
| parent | 74a95b3d511177a9b35c2b0272b9ca5511b6f750 (diff) | |
| download | otp-17c838402c6d71aef041548ad36ee66db6f24a56.tar.gz otp-17c838402c6d71aef041548ad36ee66db6f24a56.tar.bz2 otp-17c838402c6d71aef041548ad36ee66db6f24a56.zip | |
Fix race causing lost wakeup on receive-after timeout
Diffstat (limited to 'erts/emulator/valgrind')
0 files changed, 0 insertions, 0 deletions