File 0536-remove-redundant-use-of-messages.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0536-remove-redundant-use-of-messages.patch of Package erlang (Revision 05e07e74e02c3c6851eb7fb2c2e0ef8b)

Currently displaying revision 05e07e74e02c3c6851eb7fb2c2e0ef8b , Show latest

From 54c06118fa54afa79786b7e7cc65f5b73b0c5d8d Mon Sep 17 00:00:00 2001
From: Bryan Paxton <bryan@starbelly.io>
Date: Tue, 13 Sep 2022 17:16:10 -0500
Subject: [PATCH 6/8] remove redundant use of "messages"

---
 system/doc/design_principles/statem.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
2.35.3

Places

File 0536-remove-redundant-use-of-messages.patch of Package erlang (Revision 05e07e74e02c3c6851eb7fb2c2e0ef8b)

Places