diff options
| author | Raimo Niskanen <[email protected]> | 2017-02-07 18:03:13 +0100 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2017-02-07 18:03:13 +0100 |
| commit | 4480ccb6cb8fd911d5fd20f436a0a84132c9ca7d (patch) | |
| tree | 46fe3f3c74f107d24a90debecea6e62859a9adf6 /lib/runtime_tools | |
| parent | 681b30df0caff7157c0c75aaeeaa8f38d194f2b2 (diff) | |
| download | otp-4480ccb6cb8fd911d5fd20f436a0a84132c9ca7d.tar.gz otp-4480ccb6cb8fd911d5fd20f436a0a84132c9ca7d.tar.bz2 otp-4480ccb6cb8fd911d5fd20f436a0a84132c9ca7d.zip | |
Remove event timer optimization
Handle the event timer more like other timers and do not optimize
the odd case of combining an event timeout with inserting
custom events, wich by definition cancels the event timeout.
Diffstat (limited to 'lib/runtime_tools')
0 files changed, 0 insertions, 0 deletions