diff options
| author | Raimo Niskanen <[email protected]> | 2016-10-21 23:36:26 +0200 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2016-10-26 10:21:09 +0200 |
| commit | 32485c0499a0893b4fb69c6e26d91b4303cb1cba (patch) | |
| tree | 5f8acaae748964d7df926ebea2ed4cf1c66104e8 /lib/stdlib/doc/src/gen_statem.xml | |
| parent | 0b4deedf278273205c9dcd2ed5d0b4b4d4d8fb9d (diff) | |
| download | otp-32485c0499a0893b4fb69c6e26d91b4303cb1cba.tar.gz otp-32485c0499a0893b4fb69c6e26d91b4303cb1cba.tar.bz2 otp-32485c0499a0893b4fb69c6e26d91b4303cb1cba.zip | |
Optimize event timeout
Do not start an event timer unless there are no enqueued events.
Diffstat (limited to 'lib/stdlib/doc/src/gen_statem.xml')
| -rw-r--r-- | lib/stdlib/doc/src/gen_statem.xml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/stdlib/doc/src/gen_statem.xml b/lib/stdlib/doc/src/gen_statem.xml index 567130875a..fd498ee82e 100644 --- a/lib/stdlib/doc/src/gen_statem.xml +++ b/lib/stdlib/doc/src/gen_statem.xml @@ -773,8 +773,9 @@ handle_event(_, _, State, Data) -> after this time (in milliseconds) unless another event arrives or has arrived in which case this time-out is cancelled. - Note that a retried, inserted or state time-out zero - events counts as arrived. + Note that a retried or inserted event counts as arrived. + So does a state time-out zero event, if it was generated + before this timer is requested. </p> <p> If the value is <c>infinity</c>, no timer is started, as |