File 0168-apply-raimo-s-suggestion.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0168-apply-raimo-s-suggestion.patch of Package erlang

From a8f5fee6cd568a54a162648ee7f47b426a94d1e8 Mon Sep 17 00:00:00 2001
From: Bryan Paxton <bryan@starbelly.io>
Date: Wed, 14 Sep 2022 07:53:05 -0500
Subject: [PATCH 8/8] apply raimo's suggestion

---
 system/doc/design_principles/statem.xml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/system/doc/design_principles/statem.xml b/system/doc/design_principles/statem.xml
index 914a4ccbc8..928996613a 100644
--- a/system/doc/design_principles/statem.xml
+++ b/system/doc/design_principles/statem.xml
@@ -1922,10 +1922,10 @@ do_unlock() ->
       Using a catch-all 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 that only non-system messages which are 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.
+      ensure that only messages pertinent to the operation are received.
+      Likewise, a callback must return in due time to let the engine
+      receive loop handle system messages, or they might time out also
+      leading to unexpected behaviour.
     </p>
     <p>
       The
-- 
2.35.3

Places

File 0168-apply-raimo-s-suggestion.patch of Package erlang

Places