diff options
| author | Sverker Eriksson <[email protected]> | 2018-04-26 19:14:31 +0200 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2018-04-26 19:14:31 +0200 |
| commit | 613cde66c25464121f2f6dace99782bad0e07d9b (patch) | |
| tree | f0300eb3b558342a89a97aacd4f141b56f22dca4 /lib/stdlib/src/timer.erl | |
| parent | d7e27dd3174f61a6119cfaf505f5ede4b0ab5371 (diff) | |
| download | otp-613cde66c25464121f2f6dace99782bad0e07d9b.tar.gz otp-613cde66c25464121f2f6dace99782bad0e07d9b.tar.bz2 otp-613cde66c25464121f2f6dace99782bad0e07d9b.zip | |
erts: Optimize monitor signal by message piggyback
If no message/signal is sent (to same destination)
then monitor signal is flushed when process is scheduled out.
Diffstat (limited to 'lib/stdlib/src/timer.erl')
0 files changed, 0 insertions, 0 deletions