diff options
| author | Bryan Paxton <bryan@starbelly.io> | 2022-09-13 17:16:10 -0500 |
|---|---|---|
| committer | Bryan Paxton <bryan@starbelly.io> | 2022-09-13 17:16:10 -0500 |
| commit | 54c06118fa54afa79786b7e7cc65f5b73b0c5d8d (patch) | |
| tree | 32580bfe176c0e57a660ab1f2a52048fb0d1aec7 | |
| parent | 47087e2f02084815bfbd43c804cbbe91da6bd398 (diff) | |
| download | erlang-54c06118fa54afa79786b7e7cc65f5b73b0c5d8d.tar.gz | |
remove redundant use of "messages"
| -rw-r--r-- | system/doc/design_principles/statem.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/doc/design_principles/statem.xml b/system/doc/design_principles/statem.xml index 60288d2e3d..22582ccd28 100644 --- a/system/doc/design_principles/statem.xml +++ b/system/doc/design_principles/statem.xml @@ -1918,7 +1918,7 @@ do_unlock() -> Using such a receive may result in system messages being discarded which in turn may lead to unexpected behaviour. If a selective receive must be used then great care should be taken to - ensure messages only messages pertinent to the operation are caught. + ensure only messages pertinent to the operation are caught. Likewise, long running operations may result in timeouts and the deferment of system messages, which in turn can lead to undesirable behaviour; thus a reasonable timeout for any blocking operation should be used. |